blob: 748b3273a16292728bfaea8a21116a71c03d7e09 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
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
|