Comment Utiliser les Extensions Shell GNOME [Guide complet]
Bref: Ceci est un guide détaillé vous montrant comment installer les Extensions Shell GNOME manuellement ou facilement via un navigateur.
Tout en discutant de la façon d’installer des thèmes dans Ubuntu 17.10, j’ai brièvement mentionné l’extension GNOME Shell. Il a été utilisé pour activer les thèmes utilisateur. Aujourd’hui, nous examinerons en détail les extensions GNOME Shell dans Ubuntu 18.04 et les versions ultérieures.
Je peux utiliser le terme Extensions GNOME au lieu des extensions Shell GNOME, mais les deux ont la même signification ici.
Que sont les extensions Shell GNOME ? Comment installer des extensions GNOME Shell ? Et comment gérer et supprimer les extensions GNOME Shell ? Je vais vous expliquer toutes ces questions, une par une.
Avant cela, si vous préférez la vidéo, j’ai démontré tout cela sur sa chaîne YouTube FOSS. Je vous recommande fortement de vous y abonner pour plus de vidéos Linux.
Qu’est-ce qu’une extension de shell GNOME ?
Une extension de shell GNOME est essentiellement un petit morceau de code qui améliore les capacités de GNOME desktop.
Considérez-le comme un module complémentaire dans votre navigateur. Par exemple, vous pouvez installer un module complémentaire dans votre navigateur pour désactiver les publicités. Cet add-on est développé par un développeur tiers. Bien que votre navigateur Web ne le fournisse pas par défaut, l’installation de ce module complémentaire améliore les capacités de votre navigateur Web.
De même, les extensions Shell GNOME sont comme les add-ons et plugins tiers que vous pouvez installer au-dessus de GNOME. Ces extensions sont créées pour effectuer des tâches spécifiques telles que l’affichage des conditions météorologiques, la vitesse d’Internet, etc. La plupart du temps, vous pouvez y accéder dans le panneau supérieur.
Il existe également des extensions GNOME qui ne sont pas visibles sur le panneau supérieur . Mais ils modifient toujours le comportement de GNOME. Par exemple, le bouton central de la souris peut être utilisé pour fermer une application avec une telle extension.
Installation des extensions GNOME Shell
Maintenant que vous savez ce que sont les extensions GNOME Shell, voyons comment les installer. Il y a trois façons d’utiliser les extensions GNOME :
- Utilisez un ensemble minimal d’extensions d’Ubuntu (ou de votre distribution Linux)
- Trouvez et installez des extensions dans votre navigateur Web
- Téléchargez et installez manuellement des extensions
Avant d’apprendre à utiliser les extensions GNOME Shell, vous devez installer GNOME Tweak Tool dans Ubuntu ou quelle que soit la distribution que vous utilisez. Vous pouvez le trouver dans le Centre de logiciels. Alternativement, vous pouvez utiliser cette commande :
sudo apt install gnome-tweaks
Parfois, vous devez également connaître la version du shell GNOME que vous utilisez. Cela aide à déterminer si une extension est compatible avec votre système ou non. Vous pouvez utiliser la commande ci-dessous pour la trouver :
gnome-shell --version
Méthode 1: Utilisez le package gnome-shell-extensions
Ubuntu (et plusieurs autres distributions Linux telles que Fedora) fournit un package avec un ensemble minimal d’extensions GNOME. Vous n’avez pas à vous soucier de la compatibilité ici car elle est testée par votre distribution Linux.
Si vous voulez une solution simple, procurez-vous simplement ce paquet et vous aurez 8 à 10 extensions GNOME installées.
sudo apt install gnome-shell-extensions
Vous devrez redémarrer votre système (ou peut-être simplement redémarrer GNOME Shell, je ne m’en souviens pas à ce stade). Après cela, démarrez GNOME Tweaks et vous trouverez quelques extensions installées. Vous pouvez simplement basculer le bouton pour commencer à utiliser une extension installée.
Méthode 2 : Installez les extensions de shell GNOME à partir d’un navigateur Web
Le projet GNOME dispose d’un site Web entier dédié aux extensions. Ce n’est pas ça. Vous pouvez trouver, installer et gérer vos extensions sur ce site Web lui-même. Pas besoin même d’outil de réglages GNOME.
Mais pour installer des extensions d’un navigateur Web, vous avez besoin de deux choses: un module complémentaire de navigateur et un connecteur hôte natif dans votre système.
Étape 1: Installer le module complémentaire de navigateur
Lorsque vous visitez le site Web des extensions de shell GNOME, vous verrez un message comme celui-ci :
« Pour contrôler les extensions de shell GNOME en utilisant ce site, vous devez installer l’intégration de Shell GNOME qui se compose de deux parties : l’extension de navigateur et l’application de messagerie hôte native. »
Vous pouvez simplement cliquer sur le lien complémentaire suggéré par votre navigateur web. Vous pouvez également les installer à partir du lien ci-dessous:
- Pour Google Chrome, Chromium et Vivaldi: Chrome web store.
- Pour Firefox : Addons Mozilla.
- Pour Opera: Addons Opera
Étape 2: Installez le connecteur natif
Le simple fait d’installer le module complémentaire du navigateur ne vous aidera pas. Vous verrez toujours une erreur comme :
« Bien que l’extension d’intégration du shell GNOME soit en cours d’exécution, le connecteur hôte natif n’est pas détecté. Reportez-vous à la documentation pour obtenir des instructions sur l’installation du connecteur ”
Ceci est dû au fait que vous n’avez pas encore installé le connecteur hôte. Pour ce faire, utilisez cette commande :
sudo apt install chrome-gnome-shell
Ne vous inquiétez pas du préfixe ‘chrome’ dans le nom du paquet. Cela n’a rien à voir avec Chrome. Vous n’avez pas besoin d’installer un package séparé pour Firefox ou Opera ici.
Étape 3: Installation des extensions GNOME Shell dans le navigateur Web
Une fois que vous avez rempli ces deux exigences, vous êtes prêt à rouler. Maintenant, lorsque vous accédez à l’extension GNOME Shell, vous ne verrez aucun message d’erreur.
Une bonne chose à faire serait de trier les extensions de votre version GNOME Shell. Ce n’est cependant pas obligatoire. Ce qui se passe ici, c’est qu’un développeur crée une extension pour la version actuelle de GNOME. Dans un an, il y aura deux autres versions de GNOME. Mais le développeur n’a pas eu le temps de tester ou de mettre à jour son extension.
Par conséquent, vous ne sauriez pas si cette extension est compatible avec votre système ou non. Il est possible que l’extension fonctionne bien même dans la nouvelle version du shell GNOME, malgré le fait que l’extension a des années. Il est également possible que l’extension ne fonctionne pas dans le nouveau shell GNOME.
Vous pouvez également rechercher une extension. Disons que vous souhaitez installer une extension météo. Il suffit de le rechercher et d’aller chercher l’un des résultats de recherche.
Lorsque vous visitez la page d’extension, vous verrez un bouton à bascule.
Cliquez dessus et vous serez invité à installer ceci extension:
Évidemment, allez installer ici. Une fois installé, vous verrez que le bouton bascule est maintenant activé et qu’une option de réglage est disponible à côté. Vous pouvez configurer l’extension à l’aide de l’option de réglage. Vous pouvez également désactiver l’extension à partir d’ici.
Vous pouvez également configurer les paramètres d’une extension que vous avez installée via le navigateur Web dans l’outil de réglages de GNOME:
Vous pouvez voir toutes vos extensions installées sur le site Web sous la section extensions installées. Vous pouvez également supprimer les extensions que vous avez installées via le navigateur Web ici
Un élément majeur l’avantage d’utiliser le site Web des extensions GNOME est que vous pouvez voir s’il existe une mise à jour disponible pour une extension. Vous ne l’obtiendrez pas dans les réglages de GNOME ou la mise à jour du système.
Méthode 3: Installez manuellement les extensions GNOME Shell (pour les utilisateurs intermédiaires à avancés)
Ce n’est pas que vous deviez être toujours en ligne pour installer les extensions GNOME Shell. Vous pouvez télécharger les fichiers et les installer plus tard, sans avoir besoin d’Internet.
Allez sur le site Web des extensions GNOME et téléchargez l’extension avec la dernière version.
Extraire le fichier téléchargé. Copiez le dossier dans ~/.répertoire local/share/gnome-shell/extensions. Accédez à votre répertoire personnel et appuyez sur Crl +H pour afficher les dossiers cachés. Situer .dossier local ici et à partir de là, vous pouvez trouver votre chemin jusqu’au répertoire des extensions.
Une fois que vous avez copié les fichiers dans le répertoire correct, allez-y et ouvrez les métadonnées.fichier json. Recherchez la valeur de l’uuid.
Assurez-vous que le nom du dossier de l’extension est identique à la valeur de l’uuid dans les métadonnées.fichier json. Sinon, renommez le répertoire à la valeur de cet uuid.
Presque là! Maintenant, redémarrez GNOME Shell. Appuyez sur Alt + F2 et entrez r pour redémarrer GNOME Shell.
Redémarrez également l’outil de réglages GNOME. Vous devriez voir l’extension GNOME installée manuellement dans l’outil Tweak maintenant. Vous pouvez configurer ou activer l’extension nouvellement installée ici.
Et c’est tout ce que vous devez savoir sur l’installation des extensions GNOME Shell.
Supprimer les extensions GNOME Shell
Il est tout à fait compréhensible que vous souhaitiez supprimer une extension GNOME Shell installée.
Si vous l’avez installé via un navigateur Web, vous pouvez accéder à la section extensions installées sur le site Web de GNOME et la supprimer (comme indiqué dans une image précédente).
Si vous l’avez installé manuellement, vous pouvez le supprimer en supprimant les fichiers d’extension de ~/.répertoire local/share/gnome-shell/extensions.
Astuce bonus : Soyez averti des mises à jour des extensions GNOME Shell
Vous avez maintenant réalisé qu’il n’y a aucun moyen de savoir si une mise à jour est disponible pour une extension GNOME Shell, sauf si vous visitez le site Web de l’extension GNOME.
Heureusement pour vous, il existe une extension GNOME Shell qui vous avertit si une mise à jour est disponible pour une extension installée. Vous pouvez l’obtenir à partir du lien ci-dessous :
Comment gérez-vous les extensions GNOME Shell ?
Je trouve assez bizarre que vous ne puissiez pas mettre à jour les extensions via les mises à jour du système. C’est comme si les extensions de shell GNOME ne faisaient même pas partie du système.
Si vous cherchez une recommandation, lisez cet article sur les meilleures extensions GNOME. En même temps, partagez votre expérience avec les extensions GNOME Shell. Les utilisez-vous souvent? Si oui, lesquels sont vos préférés?
Vous aimez ce que vous lisez ? Veuillez le partager avec d’autres.
- Facebook30
- Twitter5
- LinkedIn14
- Reddit12
- Pocket0