J'utilise Ubuntu 17.10 depuis un moment et fonctionne très bien. Mais aujourd’hui, après la mise à jour, j’ai un nouveau raccourci, Alt+ Shift, comme alternative à Basculer vers la source d’entrée suivante. Alt+ Shiftest un modificateur commun dans Intellij donc beaucoup de raccourcis ne fonctionnent plus.
J'ai essayé de changer le raccourci mais celui-ci n'est pas répertorié dans la fenêtre des raccourcis.
Y a-t-il un fichier où je peux le changer (l'alternative)?
Voici la capture d'écran de l'option
shortcut-keys
17.10
gnome-shell
system-settings
Alejandro Vera
la source
la source
Réponses:
Enfin j'ai trouvé l'option. Je devais installer Tweaks et aller à
Clavier et souris> Autres options de présentation> Basculement vers une autre disposition
Ce qui est étrange, c'est que le raccourci par défaut super+ spacen'a pas été sélectionné dans cette fenêtre, mais uniquement le raccourci alternatif.
la source
Dans ma réponse, je suppose que vous utilisez Gnome 3.x.
Vous pouvez utiliser Tweaks , mais vous pouvez également écrire la valeur directement, par exemple, le passage de Alt+ Shiftà Ctrl+ Shiftpeut être effectué à l'aide de la commande suivante dans le terminal:
la source
dconf write /org/gnome/desktop/input-sources/xkb-options "['grp:alt_shift_toggle','grp_led:scroll']"
Pour désactiver l'option d'alternative, passez au type de source suivant dans le terminal:
Cela a fonctionné pour moi. Aucun redémarrage n'est nécessaire.
la source
Installez
gnome-tweak-tool
si vous ne l'avez pas déjà. Ouvrez-le, allez à la section Saisie et c’est probablement le « Passage à une autre option de mise en page » que vous recherchez.la source
Pour Ubuntu 18.04: Le passage alternatif à la source suivante peut être modifié ou désactivé uniquement avec "Tweak Tool":
puis Clavier et souris> Options de disposition supplémentaires> Basculement vers une autre disposition
la source