Le Site de TuxLibre

Linux of course ! LinuxMint - Ubuntu - Photographie - Astuces Linux - Vidéos - Musiques

Gestionnaire d'extensions : Gérer les extensions GNOME

Publié le 2 Février 2022 par TUXLIBRE in APPLICATION, GNOME, GNOME 3 SHELL

Gestionnaire d'extensions : Gérer les extensions GNOME

Le bureau Gnome nécessite de nombreuses extensions pour que vous puissiez le trouver à votre goût et parfaitement fonctionnel. L'ajout et la gestion de ces extensions peut bien sur se faire au travers du site Web de celles-ci.

 

 

Extension Manager est une application de gestion d'extensions GNOME Shell gratuite et open source pour Linux qui va s'installer sur votre système Ubuntu.

Avec le gestionnaire d'extensions, vous pouvez parcourir et rechercher les extensions GNOME Shell disponibles comme si vous étiez sur le site Web de GNOME .

Vous pouvez activer et désactiver les extensions, configurer tous les paramètres d'extension et également les désinstaller. C'est une application simple et facile à utiliser pour votre bureau GNOME. Il est publié sous la licence publique générale GNU v3.0.

Pour son installation, il vous faut un accès au Flathub et Flatpak installé sur votre machine.

 

 

Comme vous le voyez la commande est très simple, dans un terminal vous faîtes un copié/collé de celle-ci :

sudo apt install flatpak

 

Ensuite le mieux est d'installer le dépôt Flathub pour un accès direct aux paquets que l'on veut installer :

flatpak remote-add --if-not-exists flathub https://flathub.org/repo/flathub.flatpakrepo

 

Pour Gnome, vous passer la commande suivante pour faciliter encore plus l'installation des paquets Flatpak.

sudo apt installer gnome-software-plugin-flatpak

 

 

 

 

Il ne vous reste plus qu'à installer Extension Manager

flatpak install extension-manager

 

Et voilà, pas plus d'explication sur le fonctionnement de Extension Manager, c'est très intuitif aucune difficulté particulière à signaler dans son utilisations au quotidien. L'utilitaire n'est pas traduit en français, mais cela n'a aucune importance.

Gestionnaire d'extensions : Gérer les extensions GNOME
Commenter cet article