Articles

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.

Extension de shell GNOME en action
Extension de shell GNOME pour afficher les informations météorologiques

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 :

  1. Utilisez un ensemble minimal d’extensions d’Ubuntu (ou de votre distribution Linux)
  2. Trouvez et installez des extensions dans votre navigateur Web
  3. 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.

Changer le thème du shell GNOME dans Ubuntu 17.1
Extensions de shell GNOME dans l’outil GNOME Tweaks

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. »

Installation des extensions de shell GNOME

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 ”

Comment installer les extensions de shell GNOME

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.

Extension Shell GNOME
C’est une bonne idée de trier les extensions pour la version actuelle de GNOME

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.

Installation de l'extension du shell GNOME
Basculez le bouton pour activer ou désactiver les extensions du shell GNOME

Cliquez dessus et vous serez invité à installer ceci extension:

Installez les extensions du shell GNOME via un navigateur Web

É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.

Configuration des extensions GNOME Shell installées
Les extensions peuvent être configurées via le navigateur

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:

Tweaks GNOME pour gérer les extensions de shell GNOME
Les extensions installées seront toujours accessibles dans Tweaks

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

Gérez vos extensions de shell GNOME installées
Gérez vos extensions de shell GNOME installées

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.

Télécharger l'extension du shell GNOME
Télécharger l’extension du shell GNOME

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.

Installez manuellement l'extension GNOME Shell
Le nom du dossier d’extension doit être le même que uuid

Presque là! Maintenant, redémarrez GNOME Shell. Appuyez sur Alt + F2 et entrez r pour redémarrer GNOME Shell.

Redémarrez le shell GNOME
Redémarrez le shell GNOME

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.

65 Actions
  • Facebook30
  • Twitter5
  • LinkedIn14
  • Reddit12
  • Pocket0

Laisser un commentaire

Votre adresse e-mail ne sera pas publiée. Les champs obligatoires sont indiqués avec *