13.04 - plus de quatre raccourcis d’espace de travail dans GNOME Flashback (Aucun effet)
J'utilise GNOME Flashback (aucun effet) sur Ubuntu 13.04 et j'ai six espaces de travail, mais lorsque vous entrez dans les Paramètres système -> Clavier -> Raccourcis -> Navigation, je ne vois que les options pour adresser les quatre premiers.
Auparavant, il y avait des options allant jusqu'à 12 espaces de travail et, comme je n'en ai certainement pas besoin, je veux en avoir au moins assez pour le montant actuellement actif.
Comment puis-je restaurer ou ajouter des plans supplémentaires spécifiquement pour naviguer et déplacer les fenêtres vers les espaces de travail 5 et 6?
Le seul moyen que j’ai trouvé de modifier les raccourcis clavier pour les espaces de travail 5 et ultérieurs dans GNOME Flashback consiste à utiliser un shell à l’aide de la commande dconf.
$ dconf read /org/gnome/desktop/wm/keybindings/switch-to-workspace-1
['<Primary>F1']
J'ai lu le paramètre de raccourci du premier espace de travail pour avoir une idée de la syntaxe à utiliser lors de la définition des valeurs pour les raccourcis manquants. J'utilise CTRL + F1 moi-même.
Pour ajouter des raccourcis pour les espaces de travail restants, il suffit de modifier la valeur renvoyée ci-dessus pour qu'elle corresponde au numéro de l'espace de travail et utilisez dconf pour les appliquer:
$ 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']"
Dconf-editor est peut-être un moyen légèrement plus confortable que d’utiliser dconf sur la ligne de commande. Lancez dconf-editor puis naviguez vers
org -> gnome -> bureau -> wm -> raccourcis clavier
Vous pouvez y trouver et éditer les commandes de basculement vers espace de travail et de déplacement vers espace de travail pour les espaces de travail 1 à 9.
Je ne sais pas comment ajouter d'autres raccourcis, mais vous pouvez utiliser les touches alt + ctrl + flèche droite/gauche pour vous déplacer entre les espaces de travail.
(et vous pouvez utiliser alt + ctrl + shift + flèches droite/gauche pour déplacer les fenêtres vers d'autres espaces de travail)
Je les utilise toujours