環境
- Ubuntu 20.04
ワークスペース数を10に設定
|
1 2 |
gsettings set org.gnome.mutter dynamic-workspaces false gsettings set org.gnome.desktop.wm.preferences num-workspaces 10 |
Ctrl + 数字 で対応するワークスペースに移動できるようにショートカットキーを割り当てる
|
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 |
gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-1 "['<Ctrl>1']" gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-2 "['<Ctrl>2']" gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-3 "['<Ctrl>3']" gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-4 "['<Ctrl>4']" gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-5 "['<Ctrl>5']" gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-6 "['<Ctrl>6']" gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-7 "['<Ctrl>7']" gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-8 "['<Ctrl>8']" gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-9 "['<Ctrl>9']" gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-10 "['<Ctrl>0']" |