回答:
GNOME Flashbackでワークスペース5以上のキーボードショートカットを変更する唯一の方法は、dconf
コマンドを使用してシェルを使用することです。
$ dconf read /org/gnome/desktop/wm/keybindings/switch-to-workspace-1
['<Primary>F1']
ここで、最初のワークスペースのショートカット設定を読んで、不足しているショートカットの値を設定するときに使用する構文についてのアイデアを得ます。CTRL
+ F1
自分を使用しています。
残りのワークスペースのショートカットを追加するには、上記で返された値をワークスペース番号と一致するように変更し、使用dconf
してそれらを適用します。
$ dconf write /org/gnome/desktop/wm/keybindings/switch-to-workspace-5 "['<Primary>F5']"
$ dconf write /org/gnome/desktop/wm/keybindings/switch-to-workspace-6 "['<Primary>F6']"