Comment installer l'extension Shell de liste de fenêtres dans Ubuntu 18.04?
J'ai installé Gnome-Shell sur mon PC de travail fonctionnant sous Ubuntu 16.04 et qui porte l'extension de liste de fenêtres par défaut. Je l'ai mis à niveau vers 18.04 et l'extension de liste de fenêtres est toujours là.
Mais sur mon Ubuntu 18.04 fraîchement installé sur mon ordinateur personnel, je ne le trouve pas via apt.
L'extension que vous recherchez est maintenant regroupée avec toutes les extensions "officielles" de gnome Shell dans le package gnome-Shell-extensions. Donc, installez ce paquet. Après cela, les extensions comprenant Window list et Applications menu seront disponibles.
Bien sûr, vous pouvez également trouver l'extension sur le site Web des extensions de Gnome Shell, mais vous vous aventurez ensuite hors du référentiel de logiciels standard, qui n'est pas officiellement pris en charge par les développeurs Ubuntu.
- Allez à https://extensions.gnome.org/extension/602/window-list/ .
- Installez l'extension (add-on) pour votre navigateur.
- Actualiser la page dans le navigateur. Si tout est en ordre avec le module complémentaire de navigateur (vous n'avez plus à suivre la suggestion d'installer le module complémentaire de navigateur), activez le déclencheur d'extension de liste de fenêtres en sur . Et maintenant, vous pouvez installer une autre extension à partir de https://extensions.gnome.org/ en utilisant ce navigateur, basculez-les simplement sur la page html sur On.
Et je vous recommande d'installer GNOME Tweak Tool pour gérer les extensions installées:
Sudo apt-get install gnome-Tweak-tool