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

gsettings set org.gnome.mutter dynamic-workspaces false
gsettings set org.gnome.desktop.wm.preferences num-workspaces 10
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']"