diff options
| -rw-r--r-- | scripts/umlauts.sh | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/scripts/umlauts.sh b/scripts/umlauts.sh new file mode 100644 index 0000000..748b327 --- /dev/null +++ b/scripts/umlauts.sh @@ -0,0 +1,24 @@ +#!/bin/bash +# edit html with us-intl-altgr and write as usual +# use this afterwards +# original by Michael Luthardt 2007 +# http://dr-luthardt.de/ + +sed -i -e 's/\Ä/\Ä/g' \ + -i -e 's/\ä/\ä/g' \ + -i -e 's/\Ö/\Ö/g' \ + -i -e 's/\ö/\ö/g' \ + -i -e 's/\Ü/\Ü/g' \ + -i -e 's/\ü/\ü/g' \ + -i -e 's/\ß/\ß/g' \ + -i -e 's/\^-/\–/g' \ + -i -e 's/\^ /\ /g' \ + -i -e 's/\^</\</g' \ + -i -e 's/\^>/\>/g' \ + -i -e 's/\^&/\&/g' \ + -i -e 's/\^\^/\^/g' \ + -i -e 's/\^x/\×/g' \ + -i -e 's/\^r/\→/g' \ + -i -e 's/\^b/\•/g' \ + -i -e 's/\^e/\⇄/g' \ +$1 |