Pour faire simple, une extension GNOME Shell (également extension GNOME) est un morceau de code qui améliore et ajoute les fonctionnalités du bureau GNOME. Considérez-le comme une extension Google Chrome ou un module complémentaire Firefox seulement pour votre environnement de bureau
Les extensions GNOME peuvent être utilisées pour modifier presque tous les aspects de Environnement de bureau GNOMEpar exemple. personnaliser le comportement de la souris ; et également pour afficher des informations telles que la météo, l'état de la batterie, etc.
Il existe un nombre presque illimité d'extensions GNOME et le moyen le plus pratique de les gérer est via le populaire GNOME Tweak Tool vous devez donc le configurer si vous ne l'avez pas déjà installé sur votre système et vous pouvez l'installer soit via votre Software Center ou votre terminal en utilisant :
$ sudo apt install gnome-tweak-tool
Il y a 3 façons d'utiliser Extensions GNOME :
- Installez le bundle minimal gratuit d'extensions organisées pour votre distribution.
- Installation dans votre navigateur Web.
- Installation manuelle.
1. Installation gratuite d'un ensemble minimal
Cela fait référence à l'ensemble minimal d'extensions que plusieurs distributions Linux proposent généralement à leurs utilisateurs et la dernière fois que j'ai vérifié, il contenait 10 extensions. Installez-les via la CLI à l'aide de la commande suivante :
$ sudo apt install gnome-shell-extensions
Une fois l'installation terminée, reboot votre machine, lancez GNOME Tweak Tool , accédez à Extensions et cliquez pour activer les extensions que vous souhaitez utiliser.
Activer les extensions Gnome
Si vous voulez plus d'extensions que celles du bundle minimal, lisez la suite.
2. Installation dans votre navigateur Web
Le Projet GNOME a un site Web dédié à ses extensions Gnome et vous pouvez installer et gérer les extensions préférées directement depuis votre navigateur sans avoir besoin pour utiliser Outil d'ajustement GNOME.
Extensions du shell Gnome
Cependant, vous aurez besoin d'un module complémentaire spécifique au navigateur et d'un connecteur hôte natif installés sur votre système. Suivez l'un de ces liens pour obtenir l'extension de navigateur pour Google Chrome, Firefox et/ou Opera.
Ensuite, installez le connecteur natif à l'aide de la commande suivante :
$ sudo apt install chrome-gnome-shell
Vous pouvez maintenant ouvrir le site Web des extensions GNOME où vous pouvez rechercher, installer et activer vos extensions préférées.
Vous pouvez également configurer des extensions individuelles en cliquant sur l'icône représentant une roue dentée à côté de leur titre sur le site Web ou via l'outil GNOME Tweak Tool..
3. Installation manuelle
Supposons que vous êtes hors ligne et que vous devez configurer une extension GNOME, comment procédez-vous ? Installation manuelle. Rendez-vous sur le site Web pour télécharger le fichier d'extension que vous allez extraire et déplacer vers votre répertoire ~/.local/share/gnome-shell/extensions.
Ensuite, ouvrez le fichier metadata.json à l'intérieur et vérifiez la valeur de uuid et assurez-vous qu'il s'agit de la même valeur que le nom du dossier d'extension. Si ce n'est pas le cas, renommez le dossier avec la valeur de uuid.
Ensuite, redémarrez le shell GNOME en appuyant sur Alt+F2 et en entrant r .
Redémarrer GNOME Tweak Tool s'il était déjà en cours d'exécution et que vous devriez voir l'extension nouvellement installée dans la section des extensions où vous pouvez la gérer comme vous le feriez dans les méthodes précédemment répertoriées.
Désinstaller n'importe quelle extension GNOME est aussi simple que de les supprimer des extensions installées du site Web GNOME section. Et si vous avez installé les extensions manuellement, supprimez les fichiers de votre répertoire ~/.local/share/gnome-shell/extensions.
Connaissez-vous les méthodes d'installation des extensions de shell GNOME ? Dites-nous quel est votre favori dans la section des commentaires ci-dessous.