Augmenter le nombre d'espace de travail avec des raccourcis sur Ubuntu 18.04
J'utilise actuellement des raccourcis Super+F1 à Super+F6 pour basculer sur mes six espaces de travail. C'était possible dans Ubuntu 16.04 (Système -> Clavier -> Navigation) mais en 18.04, nous pouvons définir des raccourcis pour seulement 4 espaces wok par défaut .
Comment puis-je augmenter ce nombre d'espaces de travail par défaut dans les paramètres de raccourcis?
Tout d'abord, vous devrez augmenter le nombre d'espaces de travail statiques. Vous pouvez le faire sur l'onglet "Espaces de travail" dans GNOME Tweaks (non installé par défaut). Vous pouvez également utiliser le terminal pour modifier cette configuration:
gsettings set org.gnome.mutter dynamic-workspaces false gsettings set org.gnome.desktop.wm.preferences num-workspaces 6Ces commandes désactivent les espaces de travail dynamiques et définissent le nombre d'espaces de travail sur 6.
Vous pouvez ensuite définir des raccourcis clavier pour basculer vers n'importe quel espace de travail, y compris les espaces de travail supérieurs à quatre, à l'aide de
dconf-editor, ou, beaucoup plus pratique dans ce cas, en utilisant le terminal.gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-5 "['<Super>5']" gsettings set org.gnome.desktop.wm.keybindings move-to-workspace-5 "['<Super><Shift>5']"Ces deux commentaires vont mettre en place Super+5 pour passer à l'espace de travail 5, et Super+Shift+5 pour déplacer une fenêtre vers l'espace de travail 5. Remplacez
workspace-5parworkspace-6et supérieur pour définir un niveau supérieur