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