Derzeit verwende ich das Zeichenpaletten-Applet im Gnome-Bedienfeld, um Sonderzeichen in den Text einzufügen.
Das ist in Ordnung, aber ich muss aufhören zu tippen, das gewünschte Zeichen aus dem Applet auswählen und dann kopieren und einfügen.
Gibt es eine Möglichkeit, einfach Sonderzeichen mit unterschiedlichen Tastenkombinationen einzugeben? Wenn ja, wie mache ich das?
gsettings set org.gnome.desktop.input-sources xkb-options "['compose:ralt']"
. Quelle askubuntu.com/a/784005/25388
gucharmap
. Anwendungen -> Zubehör -> Zeichentabelle.