#!/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/\^x/\×/g' \ -i -e 's/\^r/\→/g' \ -i -e 's/\^b/\•/g' \ -i -e 's/\^e/\⇄/g' \ $1