ここでは、GNOMEを使って作業しながら、他のワークスペースをより効率的に切り替えたいと思います。つまり、作業中ですが次にworkspace #1
切り替えたいとしましょうworkspace #3
。効率的に切り替えるにはどうすればよいですか?私が従う技術はダブルタップCtrl + Left Arrow
ですが、これは非常に非効率的です。
より良い方法があるようで、(Debianでは)外部ソフトウェアをインストールする必要がないことを願っています。
答え1
gnome-control-center
他のデスクトップにキーボードショートカット割り当てを使用してください。使用しているGNOMEのバージョンによってプロジェクト名が異なる場合があります。 GNOME 2.32では、次のように呼び出されます。キーボードショートカット。
答え2
GNOME 3を使用している場合は、インストールを試してみてください。ワークスペースインジケータの拡張。