Du verwendest einen veralteten Browser. Es ist möglich, dass diese oder andere Websites nicht korrekt angezeigt werden. Du solltest ein Upgrade durchführen oder einen alternativen Browser verwenden.
Gibt es eine Möglichkeit, alle Sonderzeichen (auch anderer Sprachen) in einer HTML-Datei umwandeln zu lassen, ohne dass ich jedes einzelne Zeichen mit sed ansprechen muss?
nimm recode oder mein Favorit bei Text waere Perl (oft auch awk). Meinetwegen auch Python. Am Ende des Tages egal, sind vermutlich max 5 Zeilen Skript.
Falls das nicht gewunscht ist, gibt genug BASH Skripte oder aehnliches online
Reicht es heutzutage nicht aus, einfach die Zeichenkodierung im HTML Dokument anzugeben? Dann braucht es doch keine besondere Darstellung für Sonderzeichen mehr (Abseits von '<' und '>') oder?