Ubuntu 14.04 : touche CTRL-droit ne fonctionne plus

Depuis Ubuntu 14.04 Trusty Tahr, la touche CTRL (contrôle) de droite de mon clavier ne fonctionne plus. C'est un brin agaçant pour les raccourcis claviers (genre CTRL-page-suivante pour passer d'un onglet à l'autre dans Firefox).

keyboard_map

J'ai trouvé la solution que je traduit ici:

  1. En tant que root, éditer le fichier  /usr/share/X11/xkb/symbols/fr.
  2. Commenter la ligne  include "level5(rctrl_switch)" en ajoutant  // devant.
  3. Déplacer tous les fichiers  /var/lib/xkb/*xkm dans un dossier temporaire ( /tmp) pour forcer xkb  à les recréer.
  4. Redémarrer la machine.
  5. (Supprimer les fichiers /tmp/*xkm)

Ressources ;