web-dev-qa-db-ja.com

Ubuntu 18.04でショートカットを使用してワークスペースの数を増やす

現在ショートカットを使用しています Super+F1 に Super+F6 6つのワークスペースを切り替えます。 Ubuntu 16.04では可能でした（System-> Keyboard-> Navigation））18.04では、デフォルトで4つのワークスペースのみのショートカットを定義できます。

ショートカットパラメータでこのデフォルトのワークスペース数を増やすにはどうすればよいですか？

18.04shortcut-keysgnome-shellworkspacesworkspace-switcher
2
Loranger

  1. まず、静的ワークスペースの数を増やす必要があります。これは、GNOME Tweaksの[Workspaces]タブで実行できます（デフォルトではインストールされません）。ターミナルを使用して、その構成を変更することもできます。

    gsettings set org.gnome.mutter dynamic-workspaces false
gsettings set org.gnome.desktop.wm.preferences num-workspaces 6

    これらのコマンドは、動的ワークスペースを無効にし、ワークスペースの数を6に設定します。

  2. 次に、ホットキーを設定して、dconf-editorを使用して、またはこの場合は端末を使用して、4つ以上のワークスペースを含む任意のワークスペースに切り替えることができます。

    gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-5 "['<Super>5']"
gsettings set org.gnome.desktop.wm.keybindings move-to-workspace-5 "['<Super><Shift>5']"

    これらの2つのコメントが設定されます Super+5 ワークスペース5に移動するには Super+Shift+5 ウィンドウをワークスペースに移動するには5. workspace-5をworkspace-6以上に置き換えて、より高い値に設定します。

3
vanadium