Useful scripts

Here is a shell script, that replaces wrong br-tags with XHTML-compliant br-tags:

• <br/> into <br />
• <br> into <br />

#!/bin/bash

if ! test -e Messages.php ; then
	echo "ERROR: start script in language directory"
	exit 1
fi

TARGETS=`ls Messages*.php`

# <br/> --> <br />
for MSGFILE in ${TARGETS}; do
	TEMPFILE=${MSGFILE}".tmp"
	sed 's/br\//br \//g' ${MSGFILE} > ${TEMPFILE}
	if test -e ${TEMPFILE} ; then
		mv ${TEMPFILE} ${MSGFILE}
	fi
done

# <br> --> <br />
for MSGFILE in ${TARGETS}; do
	TEMPFILE=${MSGFILE}".tmp"
	sed 's/br>/br \/>/g' ${MSGFILE} > ${TEMPFILE}
	if test -e ${TEMPFILE} ; then
		mv ${TEMPFILE} ${MSGFILE}
	fi
done