Dans Ubuntu 17.10, les combinaisons de touches telles que Ctrl + Maj + Alt + ... ne fonctionnent pas

Il y a une solution simple de contournement ici:

Dans le cas où vous n'avez pas besoin de passer entre les différents agencements de clavier, vous pouvez de nouveau faire fonctionner certaines combinaisons de touches en utilisant l'outil "Tweaks" pour Gnome.

sudo apt install gnome-tweak-tool

Ensuite

1. Ouvrez "Tweaks"
2. Sélectionnez l'onglet "Clavier & Souris"
3. Cliquez sur "Options supplémentaires de l'agencement"
4. Désactivez les entrées dans la boîte de dialogue "Passer à un autre agencement"

Dans mon cas, cela m'a permis de retrouver les combinaisons "ALT + SHIFT" qui sont essentielles dans l'IDE Eclipse pour la refonte du code.

Cela fonctionne parfaitement!

J'ai pu résoudre ce problème en utilisant le correctif de ce ticket. Mais la dernière version supportée est 1.19.3 alors que la version actuelle est 1.19.5, donc cela nécessite également quelques modifications dans le correctif/le script shell pour fonctionner.

Il semble que vous avez remplacé la touche ctrl, vous devez donc installer Tweak Tools et rétablir la position de ctrl.

1. sudo apt install gnome-tweak-tool
2. Ensuite, un peu de magie
   • Lancer Tweaks
   • Sélectionner "Clavier et souris"
   • Sélectionner "Options de disposition supplémentaires"
   • Changer la "Position de Ctrl" (dans mon cas, c'était en bas à gauche)