Gnome 3.22: désactiver la commutation de la disposition du clavier alt + shift

18

Après la dernière mise à jour sur Debian Stretch, frapper alt+shiftsur mon clavier le fait changer de disposition, ce qui brise tout monalt+shift+<anything> xbindkeys raccourcis.

J'ai désactivé tous les raccourcis dans Paramètres -> Clavier -> Entrée. Toujours le même.

Dans Paramètres -> Langues, il est dit que ce alt+shiftcomportement peut être modifié dans .. Paramètres -> Clavier. Mais alt+shiftsemble être nulle part là-bas. Est-il codé en dur? Existe-t-il un moyen de xbindkeyscontourner ce problème?

— iago-lito
source

33

D'accord, j'ai compris: cette ligne dans mon /etc/default/keyboard

XKBOPTIONS="grp:alt_shift_toggle,grp_led:scroll"

.. ne devrait pas contenir grp:alt_shift_toggle, qui est l'option xkb pertinente selon ce post .

En outre, Gnome remplace les options xkb selon cet autre article . Par conséquent, cette sortie:

$ dconf read /org/gnome/desktop/input-sources/xkb-options
['grp:alt_shift_toggle','grp_led:scroll']

.. ne devrait pas non plus lire grp:alt_shift_togglesur ma machine. Donc après avoir couru:

dconf write /org/gnome/desktop/input-sources/xkb-options "['grp_led:scroll']"

J'ai retrouvé mon bon comportement;)

J'ai déposé ceci comme un bug sur Gnome.

— iago-lito
source

1

J'ai pu désactiver le Alt + Shiftraccourci pour changer la disposition du clavier en désactivant le raccourci dans Settings > Keyboard > Shortcuts > Typings > Modifiers-only switch to next source. Oui, le nom est assez vague mais vous pouvez voir qu'il est mappé Alt + Shift.

— hb20007

@ hb20007 Je pense que c'est le premier essai naïf qui, étonnamment, ne fonctionnait pas dans mon cas à l'époque. Cependant, la navigation était un peu différente de celle que vous décrivez. De quelle version de gnome parlez-vous?

— iago-lito

gnome-shell --versiondonne 3.18.5

— hb20007

1

@ hb20007 D'accord, je comprends. Ce message concerne un problème survenu 3.22, ce qui explique pourquoi cela fonctionne bien dans votre cas :)

— iago-lito

1

Dans mon cas, j'utilise Ubuntu 18.04. J'ai pu résoudre ce problème en reconfigurant les paramètres de mon clavier:

$ sudo dpkg-reconfigure keyboard-configuration

— Melchia
source

0

C'est aussi une autre option en mode graphique (gnome 3.22):

Ouvrez le gnome 'tweak tool' ou tapez gnome-tweak-tool sur un terminal
Accédez à l'onglet "Saisie"
Cliquez sur «Passer à une autre mise en page»
Choisissez votre raccourci préféré en évitant Ctrl+ Shiftet Alt+Shift

— S. Pedraza
source