Bien que les gars de Canonical aient décidé d' abandonner Unity au profit de Gnome Shell, en remplacement de leur version précédente Ubuntu 17.10 Artful Aardvark, ils n'ont pas pour autant fait les choses correctement, car ils ont oublié un point important, et cela me surprend vraiment.
Le fait d'effectuer une migration d'un environnement à un autre et de le rendre public implique une série de tests et de versions bêta pour connaître tous ces problèmes générés en usage courant avant de lancer une version stable.
Mais oublier d'intégrer des fonctions essentielles laisse vraiment beaucoup à désirer.
Quelques jours seulement après la sortie officielle d'Ubuntu 18.04, et après avoir effectué vos installations et configurations pour personnaliser votre système, vous avez peut-être remarqué, en essayant d'installer des extensions Gnome, qu'il est tout simplement impossible de le faire facilement.
Et cela se produit parce que le système n'est pas livré avec une fonction spéciale "pour se connecter" entre les extensions et l'environnement de bureau.
C'est pourquoi nous devons intervenir pour installer les extensions Gnome sur notre système.
Comment installer les extensions Gnome Shell sur Ubuntu 18.04 LTS?
Pour profiter des avantages des extensions Gnome Shell sur votre système, il est nécessaire d'installer un paquet supplémentaire qui servira de pont entre le site web des extensions Gnome et votre système.
Pour ce faire, nous devons ouvrir un terminal et exécuter la commande suivante :
sudo apt-get install chrome-gnome-shell
Une fois installée, cette extension fonctionnera sur Google Chrome, Firefox et Opera , ainsi que sur les navigateurs basés sur ces systèmes ou qui prennent en charge leur système d'extensions.
L'étape suivante consiste à se rendre sur le site officiel des extensions Gnome, où une section nous indiquera qu'un plugin est nécessaire pour pouvoir installer les extensions directement depuis notre navigateur.
Ou si vous préférez:
- Pour Google Chrome, Chromium et Vivaldi, installez le plugin via Chrome Web Store.
- Dans Firefox, installez le module complémentaire depuis le site Mozilla Addons.
- Pour Opera, installez-le depuis le site Opera Addons.
En cliquant sur le bouton pour installer le module complémentaire, il sera ajouté à notre navigateur, il vous sera peut-être demandé de redémarrer votre navigateur, il suffit de le fermer et de le rouvrir.
Une fois que cela est fait, nous revenons à la page officielle des extensions Gnome, nous pourrons constater que le message a disparu et un interrupteur apparaît avec lequel nous pouvons installer ou supprimer les extensions Gnome Shell du navigateur.
Comment gérer les extensions Gnome Shell dans Ubuntu 18.04?
Pour les contrôler depuis notre système, nous disposons d'un outil que beaucoup d'entre vous connaissent déjà : Gnome Tweak Tool , qui possède une page permettant de gérer les extensions Gnome Shell installées.
Pour l'installer, il suffit de rechercher « Gnome Tweaks » dans la bibliothèque logicielle d'Ubuntu et de l'installer.
Ensuite, il suffit d'exécuter l' outil de personnalisation et de gérer les extensions Gnome Shell installées dans l'onglet « Extensions ».
Installation du package d'extension Gnome à partir des référentiels Ubuntu
Ubuntu , ainsi que plusieurs autres distributions Linux qui possèdent une version de Gnome Shell ou l'utilisent comme environnement de bureau, fournissent généralement un paquet contenant un ensemble minimal d'extensions Gnome ; quelle que soit la version de l'environnement utilisée, ce paquet est entièrement compatible avec celle-ci.
En principe, entre 8 et 10 extensions seront installées sur le système. Pour ce faire, ouvrez simplement un terminal ou exécutez la commande suivante :
sudo apt install gnome-shell-extensions
Une fois que cela est fait, nous pouvons aller sur le site officiel des extensions ou depuis l'outil Gnome Tweak et nous pouvons voir les nouvelles extensions installées prêtes à être activées sur votre système.