Comment installer et utiliser des extensions de coque gnome dans Linux
Quelles sont les extensions de la coquille de gnome?
Les extensions de la coque Gnome, comme son nom l'indique, étendent la fonctionnalité du bureau de coque Gnome. Ils fonctionnent quelque peu similaires aux modules complémentaires Chrome et Firefox. Une extension de coquille est capable de faire des choses triviales comme cacher une icône dans le plateau système ainsi que de fournir une application à part entière basée sur le gnome natif ou les API tiers. Ces extensions ont été développées par des développeurs officiels de GNOME, des agents de distribution et un certain nombre de développeurs tiers.
Installation des modules complémentaires d'intégration du navigateur
Pour installer une extension de shell gnome sur votre système, vous devez d'abord activer un addon de navigateur de connecteur natif recommandé par les développeurs GNOME. Sans cet addon, vous ne pourrez pas télécharger et installer des extensions du référentiel d'extension officiel disponible en ligne.
Le module complémentaire d'intégration officiel pour Chrome Browser peut être installé dans Ubuntu en utilisant la commande ci-dessous:
$ sudo apt install chrome-gnom-shell
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 de la coque GNOME pour Firefox peut être installé à partir d'ici.
Après avoir réussi à installer le module complémentaire, vous verrez une nouvelle icône de patte Gnome dans votre navigateur lorsque vous le lancerez la prochaine fois.
Installation des extensions de la boutique d'extension en ligne
Maintenant que l'intégration du navigateur s'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 coquille de gnome sont affichées. Vous pouvez cliquer sur le menu déroulant «Toutes les versions» pour réduire les résultats à une version spécifique de Shell.
Pour vérifier la version Gnome Shell sur votre système, exécutez la commande ci-dessous:
$ gnome-shell - Version
Pour installer une extension, cliquez d'abord sur son nom pour accéder à sa page d'inscription détaillée.
Sur la page Détails de l'extension, cliquez sur le bouton ON / OFF TOGGLE pour initier l'installation.
Cliquez sur le bouton «Installer» lorsque vous avez invité.
C'est tout, l'extension sélectionnée est désormais installée avec succès sur votre système. Certaines extensions vous obligent à vous connecter à partir d'une session de bureau active pour fonctionner. Il est possible de forcer le rechargement du shell Gnome en appuyant sur la touche, en entrant la lettre «R» dans la boîte d'entrée visible et en frappant la touche. Cependant, cette méthode peut provoquer des comportements inattendus, des plantages et des gels sur votre système. La solution idéale serait donc de fermer toutes vos applications en cours d'exécution, de déconnexion et de réexamen.
Mise à jour, configurer et supprimer les extensions de la boutique d'extension en ligne
Vous pouvez facilement gérer les extensions de coque installées sur votre système à partir de la boutique en ligne elle-même. Accédez à un lien «Extensions installées» dans la barre supérieure pour voir une liste de toutes les extensions installées sur votre système. De là, vous pouvez mettre à jour (icône de flèche vers le haut), configurer (icône de clé) et supprimer une extension (icône croisée).
Synchronisation des 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 d'extension du connecteur natif sur la barre supérieure de Chrome pour accéder à ses options.
Activez l'option «Synchroniser la liste des extensions de la coque Gnome» en cochant la zone de radio devant elle.
Gestion des extensions à l'aide de l'application Gnome Tweaks
Pour configurer, activer et désactiver les extensions de shell Gnome sur votre bureau, vous pouvez installer l'application Gnome Tweaks en exécutant la commande ci-dessous:
$ sudo apt install gnome-tweaks
Après l'installation de l'application, lancez l'application «Tweaks» à partir du lanceur d'applications. Cliquez sur l'entrée «Extensions» dans la barre latérale gauche. De là, vous pouvez basculer et configurer des 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.
$ gnome-shell-extension-prefs
Cette méthode fonctionne même si vous n'avez pas l'installation de l'application Tweaks. Cela ne nécessite pas non plus de connexion Internet active pour travailler.
Installation des extensions sans magasin basé sur le Web et les modules complémentaires d'intégration du 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 en ligne et elles peuvent également être configurées à l'aide d'applications de bureau hors ligne. Cependant, il est possible de contourner complètement la boutique Web en ligne et les modules complémentaires d'intégration du navigateur.
Vous pouvez utiliser la boutique d'applications «Ubuntu Software» expédiée par défaut dans Ubuntu pour installer des extensions de coque Gnome. Lancez l'application «Ubuntu Software» à partir du lanceur d'applications et accédez à «compléments»> «Extensions de shell». Tout ce que vous avez à faire est de cliquer sur la liste d'une extension pour accéder à sa page Détails et l'installer à partir de là. Cliquer sur «Paramètres d'extension» lancera également l'application de gestion d'extension cachée mentionnée ci-dessus.
Conclusion
L'utilisation d'extensions de coquille de gnome est un bon moyen d'étendre votre bureau avec des fonctionnalités supplémentaires. Cependant, l'installation de trop d'extensions peut ralentir votre bureau et il y a toujours un risque d'extension erronée qui s'écrase tout le bureau. Comme toute autre application tierce, vous devriez également varier dans l'installation de toute 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 devez les installer à partir de sources connues et de confiance uniquement.