Comment installer et utiliser les extensions GNOME Shell sous Linux

Que sont les extensions de shell GNOME ?

Les extensions GNOME Shell, comme leur nom l'indique, étendent les fonctionnalités du bureau GNOME Shell. Ils fonctionnent un peu de la même manière que les modules complémentaires Chrome et Firefox. Une extension shell est capable de faire des choses triviales comme cacher une icône dans la barre d'état système ainsi que de fournir une application à part entière basée sur GNOME native ou des API tierces. Ces extensions ont été développées par des développeurs officiels de GNOME, des mainteneurs de distribution et un certain nombre de développeurs tiers.

Installation des modules complémentaires d'intégration du navigateur

Pour installer une extension GNOME Shell sur votre système, vous devez d'abord activer un module complémentaire de navigateur de connecteur natif recommandé par les développeurs GNOME. Sans cet addon, vous ne pourrez pas télécharger et installer d'extensions à partir du référentiel d'extensions officiel disponible en ligne.

Le module complémentaire d'intégration officiel pour le navigateur Chrome peut être installé dans Ubuntu à l'aide de la commande ci-dessous :

Vous pouvez également installer ce module complémentaire à partir de Chrome Web Store s'il n'est pas disponible dans le référentiel de votre distribution.

Le module complémentaire d'intégration GNOME Shell pour Firefox peut être installé à partir de ici .

Après avoir installé avec succès le module complémentaire, vous verrez une nouvelle icône de patte GNOME dans votre navigateur lorsque vous le lancerez la prochaine fois.

Installation d'extensions à partir du magasin d'extensions en ligne

Maintenant que l'intégration du navigateur est terminée, vous êtes prêt à installer certaines extensions. Accédez au référentiel d'extensions de shell GNOME disponible ici pour parcourir une liste des extensions disponibles. Par défaut, les extensions pour toutes les versions de GNOME Shell sont affichées. Vous pouvez cliquer sur le menu déroulant Toutes les versions pour affiner les résultats à une version spécifique du shell.

Pour vérifier la version du shell GNOME sur votre système, exécutez la commande ci-dessous :

Pour installer une extension, cliquez d'abord sur son nom pour accéder à sa page de liste détaillée.

Sur la page des détails de l'extension, cliquez sur le bouton bascule marche/arrêt pour lancer l'installation.

Cliquez sur le bouton Installer lorsque vous y êtes invité.

Voilà, l'extension sélectionnée est maintenant installée avec succès sur votre système. Certaines extensions nécessitent que vous vous déconnectiez d'une session de bureau active pour fonctionner. Il est possible de forcer le rechargement de GNOME Shell en appuyant sur la touche, en entrant la lettre r dans la zone de saisie visible et en appuyant sur la touche. Cependant, cette méthode peut provoquer des comportements inattendus, des plantages et des blocages sur votre système. La solution idéale serait donc de fermer toutes vos applications en cours d'exécution, de vous déconnecter et de vous reconnecter.

Mise à jour, configuration et suppression d'extensions du magasin d'extensions en ligne

Vous pouvez facilement gérer les extensions de shell installées sur votre système à partir de la boutique en ligne elle-même. Accédez au lien Extensions installées dans la barre supérieure pour voir une liste de toutes les extensions installées sur votre système. À partir de là, vous pouvez mettre à jour (icône flèche vers le haut), configurer (icône clé) et supprimer une extension (icône croix).

Synchroniser les extensions avec votre compte Google

Vous pouvez synchroniser les extensions de shell installées avec votre compte Google (Chrome uniquement). Faites un clic droit sur l'icône de l'extension du connecteur natif dans la barre supérieure de Chrome pour accéder à ses options.

Activez l'option Synchroniser la liste des extensions GNOME Shell en cochant la case radio qui la précède.

Gestion des extensions à l'aide de l'application Gnome Tweaks

Pour configurer, activer et désactiver les extensions gnome shell sur votre bureau, vous pouvez installer l'application gnome tweaks en exécutant la commande ci-dessous :

Après avoir installé l'application, lancez l'application Tweaks à partir du lanceur d'applications. Cliquez sur l'entrée Extensions dans la barre latérale gauche. À partir de là, vous pouvez basculer et configurer les extensions. Cette méthode fonctionne même si vous n'avez pas de connexion Internet active et ne vous oblige pas à utiliser la boutique en ligne en ligne pour gérer les extensions.

Gestion des extensions à l'aide d'une application cachée non visible dans le lanceur d'applications

L'exécution de la commande ci-dessous lancera une application cachée dédiée à la gestion des extensions.

Cette méthode fonctionne même si vous n'avez pas installé l'application Tweaks. Cela ne nécessite pas non plus une connexion Internet active pour fonctionner.

Installation d'extensions sans les modules complémentaires d'intégration de magasin Web et de navigateur

Jusqu'à présent, nous avons vu que les extensions peuvent être installées et gérées à l'aide de la boutique en ligne et qu'elles peuvent également être configurées à l'aide d'applications de bureau hors ligne. Cependant, il est possible de contourner complètement la boutique en ligne en ligne et les modules complémentaires d'intégration du navigateur.

Vous pouvez utiliser le magasin d'applications Ubuntu Software fourni par défaut dans Ubuntu pour installer les extensions de shell GNOME. Lancez l'application Ubuntu Software à partir du lanceur d'applications et accédez à Modules complémentaires > Extensions Shell. Tout ce que vous avez à faire est de cliquer sur la liste d'une extension pour accéder à sa page de détails et l'installer à partir de là. En cliquant sur Paramètres d'extension, vous lancerez également l'application de gestion d'extensions cachée mentionnée ci-dessus.

Conclusion

L'utilisation des extensions de shell GNOME est un bon moyen d'étendre votre bureau avec des fonctionnalités supplémentaires. Cependant, l'installation d'un trop grand nombre d'extensions peut ralentir votre bureau et il y a toujours un risque qu'une extension qui se comporte mal fasse planter l'ensemble du bureau. Comme toute autre application tierce, vous devez également installer une extension aléatoire, car il y a toujours un changement d'application malveillante dans votre système. Même si presque toutes les extensions sont open source, vous ne devez les installer qu'à partir de sources connues et fiables.