ワークスペース5へ移動するキーボード・ショートカットを設定する

ワークスペースを5個作り、各ワークスペースにCtrl+Alt+数字で移動できるようにします。

ところが、ワークスペース1〜4については、『設定→デバイス→キーボード』で設定できるのに、ワークスペース5以降については出来ません。

まず、ワークスペース1(2,3,4でもかまわない)がUbuntu内でどのように登録されているのかを調べます。

$ dconf read /org/gnome/desktop/wm/keybindings/switch-to-workspace-1
['<Primary><Alt>1'] ※ワークスペース1の設定値

ということは、ワークスペース5は『[‘5′]』を設定すれば良さそうです。

$  dconf write /org/gnome/desktop/wm/keybindings/switch-to-workspace-5 "['<Primary><Alt>5']"

これで、Ctrl+Alt+5を押してやると、ワークスペース5に切り替えることができるようになりました。