Gnome 3.22: disable alt+shift keyboard layout switching
Okay, got it: this line in my /etc/default/keyboard
XKBOPTIONS="grp:alt_shift_toggle,grp_led:scroll"
.. should not contain grp:alt_shift_toggle
, which is the relevant xkb option according to this post.
In addition, Gnome overrides xkb options according to this other post. As a consequence, this output:
$ dconf read /org/gnome/desktop/input-sources/xkb-options
['grp:alt_shift_toggle','grp_led:scroll']
.. should not read grp:alt_shift_toggle
on my machine either. So after I ran:
dconf write /org/gnome/desktop/input-sources/xkb-options "['grp_led:scroll']"
I got my good'ol behaviour back ;)
I have filed this as a bug to Gnome.