Comment utiliser les extensions GNOME

Pour personnaliser votre distribution Linux (Ubuntu, Fedora, Debian et autres), vous pouvez ajouter des extensions dans l’environnement de bureau GNOME.

Une extension GNOME Shell est en fait un petit morceau de code qui améliore les capacités du bureau GNOME. Imaginez qu’il s’agit d’un module complémentaire de votre navigateur. Elle ajoute des fonctionnalités supplémentaires à l’environnement de bureau GNOME.
Par exemple, cela peut prendre la forme d’un widget météo ou encore afficher l’utilisation des ressources systèmes (CPU, mémoire, débits réseaux, etc).
Enfin il est possible d’ajouter des menus ou modifier le comportement des fenêtres.
Ainsi vous pouvez rendre votre bureau Linux plus attrayant ou plus productif.

Dans ce tutoriel, je vous guide pour utiliser les extensions GNOME.

Comment installer les extensions GNOME

Avec Gnome-Shell-extensions – Méthode 1

Ubuntu (et plusieurs autres distributions Linux telles que Fedora) fournit un paquet pour gérer les extensions.
Le paquet fournit aussi une dizaine d’extensions pour GNOME.
L’avantage est que vous n’avez pas à vous soucier de la compatibilité, car elle est testée par votre distribution Linux.
Dans tous les cas, il est conseillé de l’installer pour gérer les extensions.

• Ouvrez le terminal Ubuntu par la recherche d’application ou par le raccourci clavier CTRL+ALT+T. Plus de détails : Comment ouvrir terminal Ubuntu
• Puis passez la commande APT suivante :

sudo apt install gnome-tweaks gnome-shell-extensions

• Ensuite faites une recherche sur extensions et ouvrez l’utilitaire

• Vous trouverez quelques extensions installées. Il vous suffit de basculer le bouton pour commencer à utiliser une extension installée

Avec GNOME Shell Extension Manager – Méthode 2

Extension GNOME Shell Manager est un utilitaire qui vous permet de gérer les extensions installées mais aussi de parcourir la bibliothèque de GNOME Shell et installer de nouvelles extensions.

• Ouvrez le terminal Ubuntu par la recherche d’application ou par le raccourci clavier CTRL+ALT+T. Plus de détails : Comment ouvrir terminal Ubuntu
• Puis installez l’utilitaire avec la commande APT suivante :

sudo apt install gnome-shell-extension-manager

• Faites une recherche sur le mot extension pour ouvrir l’outil

• Allez dans l’onglet Browse (Parcourir)
• Puis utilisez le moteur de recherche pour trouver les extensions désirées
• Cliquez sur Ajouter pour l’installer

• Dans l’onglet Installed, vous pouvez gérer les extensions installées manuellement. Il est possible de les activer/désactiver et accéder aux paramétrages

Depuis votre navigateur internet – Méthode 3

Dans cette seconde, vous installez les extensions GNOME depuis votre navigateur internet.
Cela nécessite la présente d’un connecteur dans votre Linux.

• Tout d’abord, installez le connecteur GNOME. Voici comment l’installer sur une distribution de type Debian, Ubuntu avec APT :

sudo apt install chrome-gnome-shell

• Sur certaine distribution, le paquet peut se nommer gnome-browser-connector. C’est par exemple le cas avec Fedora, doit voici la commande yum :

sudo yum install gnome-browser-connector

• Ensuite ouvrez le site des extensions GNOME :

• Cliquez sur le lien pour installer l’extension pour votre navigateur internet

• Laissez vous guider pour terminer son ajout dans le navigateur internet

• Après cela, vous pouvez explorer la bibliothèque des extensions du navigateur internet. Un moteur de recherche est fourni pour trouver ce dont vous avez besoin. Cliquez sur l’extension pour ouvrir la fiche

• Puis passez le bouton sur ON pour l’installer dans votre Linux

• Rafraîchissez la page pour obtenir le bouton de paramètre (icône outils) pour configurer l’extension GNOME. Par exemple pour ce plugin météo, il faut indiquer votre emplacement géographique

• Le widget météo avec la température et la météo s’affiche alors à gauche de l’horloge en haut de votre écran

Depuis votre navigateur internet – Méthode 4

Enfin vous pouvez aussi télécharger le paquet de l’extension GN OME sous la forme d’un fichier ZIP.
A partir de là, il est possible de l’installer manuellement dans Linux.

• Ouvrez la fiche de l’extension GNOME
• En bas dans Télécharger, choisissez la version. Le fichier ZIP se télécharge automatiquement

• Ouvrez le fichier ZIP avec le gestionnaire d’archivage de votre distribution Linux
• Puis ouvrez le fichier metadata.json avec l’éditeur de texte en double cliquant dessus
• Faites un clic droit et copier sur la données uuid (sans les guillemets)

• Fermez l’éditeur de texte puis faites Extraire sur le logiciel d’archivage
• Faites un clic droit puis cochez les fichiers cachés pour afficher ces derniers.
• Ouvrez votre le dossier Home > .local > share > gnome-shell > extensions, soit donc ~/.local/share/gnome-shell/extensions
• Créez un nouveau dossier et comme nom, le contenu de la valeur uuid
• Décompressez les fichiers dans ce répertoire

• Fermez et relancez la session utilisateur
• Ouvrez l’utilitaire extensions. La nouvelle extension doit s’y trouver mais désactivée. Il vous suffit de l’activer

Comment supprimer les extensions GNOME

Les utilitaires Extensions ou GNOME Shell Extension Manager vous permettent de gérer les extensions.
Il est possible de les désactiver mais aussi les supprimer complètement du système.
C’est la méthode à privilégier pour désinstaller une extension GNOME.

Une suppression manuelle est aussi possible :

• Vous pouvez supprimer le répertoire directement depuis ~/.local/share/gnome-shell/extensions
• Puis fermez et relancez la session utilisateur