UbuntuでワークスペースをCtrl+数字で切り替えられるようにする

環境

• Ubuntu 20.04

ワークスペース数を10に設定

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

Ctrl + 数字 で対応するワークスペースに移動できるようにショートカットキーを割り当てる

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']"

参考