Comment installer les extensions GNOME Shell facilement et rapidement

Cet article explique les extensions GNOME et comment les installer, les configurer et les supprimer facilement de votre système Linux.

GNOME Shell est l'un des environnements de bureau Linux les plus utilisés. Cependant, l'aspect le plus remarquable de GNOME est qu'il ne ressemble en rien à tout ce que vous avez connu auparavant. Cela signifie que par défaut, vous obtenez ceci :

GNOME adhère à sa philosophie d'interaction utilisateur, qui se concentre sur une simplicité maximale. Cependant, certains de ses composants ne répondent pas toujours aux attentes et préférences des utilisateurs. Heureusement, les extensions GNOME permettent aux utilisateurs de personnaliser considérablement presque tous les éléments à leur guise.

Une fois installés, ils vous aideront à ajouter des fonctionnalités supplémentaires à votre bureau GNOME Shell et à modifier les fonctionnalités existantes. Mais avant de continuer, expliquons à nos lecteurs ce que sont les extensions GNOME Shell.

Que sont les extensions du shell GNOME ?

Par défaut, GNOME Shell possède des fonctionnalités déterminées par ses développeurs. Les extensions GNOME Shell s'appuient sur cela en ajoutant ou en étendant les fonctionnalités de bureau actuelles. Ce sont de petits morceaux de code logiciel écrits par des développeurs tiers.

De plus, les utilisateurs doivent comprendre un moment clé. Les extensions GNOME ne sont en aucun cas développées ou maintenues par l'équipe de développement GNOME. Au lieu de cela, comme indiqué précédemment, ils résultent du travail volontaire de développeurs tiers entièrement responsables de leur maintenance.

Cependant, avec chaque nouvelle version de GNOME, il y a souvent des changements fonctionnels sous le capot qui peuvent entrer en conflit avec le code utilisé dans certaines extensions. Par conséquent, lorsqu'une nouvelle version de l'environnement de bureau GNOME est publiée, il est relativement courant que certaines extensions cessent d'être compatibles avec elle. Les utilisateurs doivent donc attendre que le développeur adapte le code d'extension avec la nouvelle version de GNOME.

Comment installer les extensions du shell GNOME

Le moyen le plus simple d'installer les extensions GNOME consiste à utiliser votre navigateur Web. Le projet GNOME dispose d'un site officiel dédié aux extensions : https://extensions.gnome.org.

Vous pouvez rechercher, installer et gérer vos extensions à partir de ce site Web directement depuis votre navigateur. Cependant, pour que cela se produise, vous devez avoir deux composants préinstallés sur votre système Linux :

1. Module complémentaire de navigateur Web d'intégration de GNOME Shell
2. Connecteur hôte natif

La configuration de ces deux éléments vous permet d'interagir avec le site Web de l'extension GNOME. Voici comment les configurer.

1. Installez le module complémentaire de navigateur Web d'intégration GNOME Shell

Étant donné que le site Web des extensions GNOME utilise une fonctionnalité complémentaire spéciale, vous devez y accéder à l'aide du navigateur Web Mozilla Firefox, Google Chrome, Chromium, Vivaldi ou Microsoft Edge.

N'oubliez pas qu'Ubuntu 21.10 et ses versions ultérieures sont passées au navigateur par défaut Firefox sous le nom de Snap. Et comme les packages Snap s'exécutent dans un bac à sable de par leur conception, ils n'ont malheureusement pas accès à l'environnement de bureau sous-jacent.

En d'autres termes, si vous utilisez Ubuntu, vous ne pouvez pas utiliser Firefox pour installer et gérer les extensions GNOME. Par conséquent, vous devez utiliser l’un des autres navigateurs répertoriés ci-dessus. Cependant, si vous insistez pour utiliser Firefox à cette fin, voici une solution de contournement.

Ceci étant réglé, voyons comment installer le module complémentaire de navigateur GNOME Shell Integration. Tout d’abord, ouvrez un navigateur Web et accédez à https://extensions.gnome.org. Ensuite, cliquez sur le lien « Cliquez ici pour installer l'extension de navigateur ».

Les utilisateurs de Google Chrome, Vivaldi et Microsoft Edge peuvent trouver le module complémentaire GNOME Shell Integration sur ce lien.

En cliquant sur le lien ci-dessus, vous ouvrirez un nouvel onglet dans Google Chrome. Ensuite, cliquez sur le bouton « Ajouter à Chrome ».

Il vous sera demandé de confirmer que vous souhaitez ajouter l'extension à Chrome. Cliquez ensuite sur le bouton « Ajouter une extension ».

Si vous actualisez la page Web et voyez ceci, cela signifie que votre distribution Linux a déjà installé le Native Host Connector, comme c'est le cas avec Fedora. Dans ce cas, vous pouvez sauter la section suivante.

Cependant, si vous recevez l'avertissement ci-dessous après avoir actualisé la page Web, vous devez installer le connecteur hôte natif.

Heureusement, c'est une tâche facile, car son installation est expliquée dans la section suivante.

2. Installez le connecteur hôte natif

Native Host Connector est un logiciel capable de communiquer avec l'extension du navigateur. En d'autres termes, il permet au navigateur de communiquer avec le shell GNOME.

Les utilisateurs de Debian, Ubuntu et tous leurs dérivés doivent s'exécuter dans l'application de terminal :

sudo apt install chrome-gnome-shell

En conséquence, les utilisateurs de Rocky Linux, AlmaLinux et d'autres distributions basées sur RHEL doivent taper :

sudo dnf install chrome-gnome-shell

Cela ne devrait pas vous déranger avec le préfixe « chrome » dans le nom du package. Cela n'a rien à voir avec Chrome.

Les utilisateurs d'Arch Linux et des distributions basées sur Arch doivent utiliser le référentiel AUR et installer à partir de là à l'aide de l'un des assistants AUR :

yay -S gnome-browser-connector

3. Installez une extension GNOME

Maintenant que l'extension de navigateur et Native Host Connector sont installés, vous pouvez ouvrir le site Web des extensions GNOME pour rechercher, installer et activer vos extensions préférées.

Recherchez une extension que vous souhaitez installer et déplacez le commutateur à bascule sur la position « ON ». Par exemple, j'installerai l'extension « Dash to Dock ».

Lorsque vous activez le commutateur, un message d'installation s'affiche. Sélectionnez « Installer ».

C'est tout. L'extension GNOME a été installée et est prête à être utilisée. Utilisez le commutateur ON/OFF pour activer/désactiver l'extension.

De même, vous pouvez également rechercher et installer d’autres extensions. À quel point cela peut-il être plus simple ? 

Configurer les extensions du shell GNOME

Vous pouvez voir toutes vos extensions GNOME installées sur le site Web dans la section « Extensions installées ». À partir de là, vous pouvez configurer l'extension à l'aide de l'option de configuration.

De plus, vous ne voyez une icône en forme de flèche verte que lorsqu'une mise à jour est disponible. Pour supprimer l'extension, cliquez sur le bouton rouge avec le signe « x ».

Vous pouvez également les gérer avec l'application Extensions de GNOME. Cependant, il n'est pas installé par défaut dans la plupart des distributions Linux, vous devez donc l'installer en plus.

Ubuntu

sudo apt install gnome-shell-extension-manager

Debian

sudo apt install gnome-shell-extensions-prefs

Fedora, Rocky Linux, AlmaLinux

sudo dnf install gnome-extensions-app

Arch Linux

sudo pacman -S gnome-shell-extensions-prefs

Ensuite, lancez l'application Extensions depuis GNOME Dash.

Cliquez sur le bouton « Paramètres » pour configurer ou basculer le commutateur pour activer/désactiver l'extension. Comme son nom l'indique, le bouton « Supprimer » supprime l'extension.

Suppression manuelle des extensions

Une autre façon plus sale de supprimer une extension GNOME consiste à la supprimer directement du système de fichiers. Par défaut, toutes les extensions sont stockées sous forme de dossiers dans le répertoire « ~/.local/share/gnome-shell/extensions ».

Par conséquent, l’exécution de « rm -rf /path/to/extension » le supprime de votre système.

Conclusion

Vous comprenez maintenant ce que sont les extensions GNOME et comment les installer, les configurer et les supprimer sur votre système Linux. Ainsi, vous pouvez personnaliser votre environnement GNOME selon vos goûts et préférences. Sur le site Web des extensions GNOME, vous pouvez en trouver des centaines différentes.

Si vous êtes intéressé, voici notre classement de certaines des meilleures extensions GNOME.

J'espère que nous vous avons été utile. Nous apprécions vos commentaires et suggestions dans la section commentaires ci-dessous.