回答:
Ctrl+ Alt+ ←およびCtrl+ Alt+ →は、それぞれ「ワークスペースを左に切り替える」および「ワークスペースを右に切り替える」ためのデフォルトのショートカットです。実行することでそれを確認できます
gsettings get org.gnome.desktop.wm.keybindings switch-to-workspace-left
(およびのright
代わりにleft
)。
デフォルトではGNOMEシェルには単一列のワークスペースがあるため、これらのショートカットはまったく効果を示しません(このようなことを試さない限り)。
これらのキーボードの組み合わせのバインドを解除するには、次を実行します
gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-left "[]"
(同様にright
)。次に、これらの組み合わせをカスタムショートカットに使用できるようになります。
gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-left "[]"
問題は、Ubuntu 18.04設定GUIにすべてのキーボードショートカットが表示されないことです。
すべてのウィンドウマネージャーキーバインドを表示するには:
gsettings list-recursively | grep org.gnome.desktop.wm.keybindings | sort
org.gnome.desktop.wm.keybindings switch-to-workspace-down ['<Super>Page_Down', '<Control><Alt>Down']
org.gnome.desktop.wm.keybindings switch-to-workspace-left ['<Control><Alt>Left']
org.gnome.desktop.wm.keybindings switch-to-workspace-right ['<Control><Alt>Right']
org.gnome.desktop.wm.keybindings switch-to-workspace-up ['<Super>Page_Up', '<Control><Alt>Up']
これで、[設定]画面に表示されていない一連のCtrl+ Alt+ up/ down/ left/ rightキーバインドがあることがわかります。
不要なキーバインドを削除するには:
gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-down "['<Super>Page_Down']"
gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-up "['<Super>Page_Up']"
gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-left "[]"
gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-right "[]"
これで、他の場所でキーバインドを使用できます。
gsettings set org.gnome.desktop.wm.keybindings move-to-workspace-left "[]"
、および同様のCtrl + Shift + Alt +右、ウィンドウを右ワークスペースに移動、<br>gsettings set org.gnome.desktop.wm.keybindings move-to-workspace-right "[]"