web-dev-qa-db-fra.com

Comment créer un raccourci clavier pour que left alt soit right alt?

Dans Ubuntu 16, il existait une option de raccourci clavier dans les paramètres du clavier nommée quelque chose comme "touche spéciale", qui me permettait de taper des caractères tels que <> {}.

Par défaut, je dois taper ces caractères en utilisant le bon alt.

Dans Ubuntu 18, cette option de touche de raccourci est disparue des touches de raccourci clavier, alors comment puis-je obtenir cette fonctionnalité maintenant?

Pour le dire plus simplement, au lieu d'avoir à appuyer sur Droite "Alt +>" pour taper>, je veux appuyer sur "Gauche Alt +>" (ou même plus idéalement "Ctrl + Gauche Alt +>" si c'est du tout possible)

merci

2
Askerman
  • Installer Tweaks (le package gnome-tweaks)
  • Ouvert Tweaks
  • Clavier et souris -> Options de disposition supplémentaires -> Touche pour choisir le 3ème niveau
1