回答:
最後にオプションを見つけました。Tweaksをインストールして、
キーボードとマウス>追加のレイアウトオプション>別のレイアウトへの切り替え
奇妙なことは、そのウィンドウでデフォルトのショートカットsuper+ spaceが選択されておらず、代替ショートカットのみが選択されていることです。
私の答えでは、Gnome 3.xを使用していると仮定しています。
Tweaksを使用できますが、値を直接書き込むこともできます。たとえば、ターミナルで次のコマンドを使用して+ からAlt+ Shiftに変更できます。CtrlShift
dconf write /org/gnome/desktop/input-sources/xkb-options ['grp:ctrl_shift_toggle','grp_led:scroll']
dconf write /org/gnome/desktop/input-sources/xkb-options "['grp:alt_shift_toggle','grp_led:scroll']"
gnome-tweak-tool
まだお持ちでない場合はインストールしてください。それを開いて、「入力」セクションに移動すると、おそらく「別のレイアウトオプションへの切り替え」を探しています。
Ubuntu 18.04の場合:次のソースへの代替スイッチは、「調整ツール」でのみ変更または無効にできます。
$ sudo add-apt-repository universe
$ sudo apt install gnome-tweak-tool
$ gnome-tweaks
次に、 キーボードとマウス>追加のレイアウトオプション>別のレイアウトへの切り替え