Actuellement, j'utilise l'applet de la palette de caractères dans le panneau gnome pour insérer des caractères spéciaux dans du texte.
C'est bon, mais je dois arrêter de taper, sélectionner le caractère que je veux dans l'applet, puis copier et coller.
Existe-t-il un moyen de taper simplement des caractères spéciaux avec différentes combinaisons de touches? Si oui, comment je le fais?
gsettings set org.gnome.desktop.input-sources xkb-options "['compose:ralt']"
. Source askubuntu.com/a/784005/25388
gucharmap
. Applications -> Accessoires -> Carte de caractères.