Une fois que vous avez désactivé les espaces de travail "dynamiques" à l'aide de Tweaks (GNOME) et activés les "statiques" (avec un nombre fixe, 4 dans ce cas), installez une extension GNOME appelée Grille d'espace de travail . Il
Organise les espaces de travail dans une grille configurable.
Également:
- implémente des raccourcis clavier pour la navigation gauche / droite dans l'espace de travail (les fonctions haut / bas sont déjà implémentées)
- met à jour la barre latérale des espaces de travail avec la configuration de la grille (utilisez la barre latérale Supprimer les espaces de travail si vous ne le souhaitez pas).
À partir des préférences de l'extension, vous pourrez définir votre mise en page préférée (par exemple 2x2, 2x3, 3x3, etc.).
Vous pouvez voir sa page GitHub pour des informations plus détaillées.
Officiellement, il ne supporte pas encore GNOME v3.26, mais cela devrait fonctionner correctement. Sinon, vous pourrez peut-être faire en sorte que l'ajout "3.26"
à son metadata.json
fichier soit efficace .
Mise à jour du demandeur:
Cela a fonctionné hors de la boîte sans rien changer. Même mes anciens raccourcis personnalisés ont fonctionné.
Mise à jour 2: Ubuntu 19.04
Actuellement, l'extension ne fonctionne pas avec Gnome 3.32 et cela peut prendre un certain temps avant (si c'est à nouveau possible, car c'est le mainteneur actuel (merci zakkak ) recherche des volontaires pour prendre en charge la maintenance ). Le remplacement approprié peut être Workspace Matrix qui a un peu moins de fonctionnalités, mais les fonctionnalités principales sont présentes.
Open gnome-tweak-tool, go to “Shell Extensions”, “Install Extension” and select the .zip file
mais pour moi sur l'onglet "Extensions" de l'outil, je n'ai pas trouvé cette option ...zip
à~/.local/share/gnome-shell/extensions
.