Je viens de passer à Ubuntu 17.10 et j'ai découvert qu'il n'y a pas d'option pour avoir 2 par 2 espaces de travail. J'ai réussi à configurer 4 espaces de travail "statiques" en utilisant GNOME Tweak Tool, mais je voudrais les avoir en 2 rangées de 2. Des idées ?
Réponse
Trop de publicités?
Après avoir désactivé les espaces de travail "dynamiques" en utilisant (GNOME) Tweaks et activé des espaces de travail "statiques" (avec un nombre fixe, 4 dans ce cas), installez une extension GNOME appelée Workspace Grid. Elle
Organise les espaces de travail dans une grille configurable.
Aussi:
- implémente des raccourcis clavier pour la navigation entre les espaces de travail de gauche/droite (haut/bas étant déjà implémentés)
- met à jour la barre latérale des espaces de travail avec la configuration de la grille (utilisez Remove Workspaces Sidebar si vous ne voulez pas l'afficher).
Depuis les 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 consulter sa page GitHub pour des informations plus détaillées.
Officiellement, elle ne supporte pas encore GNOME v3.26, mais cela devrait fonctionner correctement. Sinon, vous pourrez peut-être la faire fonctionner en ajoutant <code>"3.26"</code> à son fichier <code>metadata.json</code>.
<strong>Mise à jour de la personne ayant posé la question :</strong><br>Cela a fonctionné du premier coup 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 il pourrait s'écouler un certain temps avant qu'elle le fasse à nouveau, car le mainteneur actuel (merci zakkak) est à la recherche de bénévoles pour reprendre la maintenance). Un remplacement possible peut être Workspace Matrix qui a légèrement moins de fonctionnalités, mais les principales fonctionnalités y sont présentes.
