diff options
author | Jack Random <jack@random.to> | 2014-07-30 02:30:11 +0200 |
---|---|---|
committer | Jack Random <jack@random.to> | 2014-07-30 02:30:11 +0200 |
commit | e0fb62f689ca95a8130ae7d31ecf8dcb0e0bfdfd (patch) | |
tree | 67b7cb8e41c5cd71638a88aff9944e517ef36176 | |
parent | 3da28e2b8933f657e7d70cef0b2d51b66dd0d26c (diff) |
use us-intl-altgr with this for editing html sites
-rwxr-xr-x | scripts/umlauts.sh | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/scripts/umlauts.sh b/scripts/umlauts.sh new file mode 100755 index 0000000..30b0dd5 --- /dev/null +++ b/scripts/umlauts.sh @@ -0,0 +1,26 @@ +#!/bin/zsh +# replace german umlauts and predefined character sequences +# with html-entities in a file given as parameter +# original script: +# 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 + |