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).

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 ;

• Ask Ubuntu : Right-CTRL key not supported in Kubuntu 14.04? (answer 468651)
• LaunchPad : Right-Ctrl key broken on French OSS keyboard