Puis-je avoir 2x2 espaces de travail dans GNOME 3?

40

Je viens de passer à Ubuntu 17.10 et j'ai découvert qu'il n'y avait pas d'option pour avoir des espaces de travail 2 par 2. J'ai été capable de configurer 4 espaces de travail "statiques" à l'aide de GNOME Tweak Tool , mais j'aimerais les avoir sur 2 lignes par 2. Des idées?

Juraj.Lorinc
la source

Réponses:

38

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).

entrez la description de l'image ici

À 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.jsonfichier 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.

Pomsky
la source
2
Merci. Tu m'as sauvé. Cela a fonctionné hors de la boîte sans rien changer. Même mes anciens raccourcis personnalisés ont fonctionné.
Juraj.Lorinc
Les instructions de ce plugin disent Open gnome-tweak-tool, go to “Shell Extensions”, “Install Extension” and select the .zip filemais pour moi sur l'onglet "Extensions" de l'outil, je n'ai pas trouvé cette option ...
Tente Enrique Moreno
2
@EnriqueMorenoTent Vous avez raison, il semble que cette fonctionnalité ait été supprimée de Tweaks . S'il vous plaît essayez d'installer directement à partir de sa page d' accueil . Vous pouvez également extraire le zipà ~/.local/share/gnome-shell/extensions.
Pomsky
2
Cela n'a pas fonctionné hors de la boîte pour moi sur un ubuntu 18.04 frais. Je devais également installer gome-tweak-tools et y configurer 4 espaces de travail statiques afin de disposer de la grille complète. Workspace Grid ne prend pas (encore) en charge le passage d'espaces de travail dynamiques à statiques. Vous avez donc besoin des deux extensions.
Swenzel
@swenzel Cette partie est déjà utilisée, voir la question: " J'ai été en mesure de configurer 4 espaces de travail" statiques "à l'aide de GNOME Tweak Tool ... " un autre utilisateur).
Pomsky