129 votes

Comment installer et gérer les extensions GNOME Shell?

Comment installer les extensions GNOME Shell ?

Est-il possible de mettre à jour, supprimer et gérer les extensions ?

69voto

Afin d'installer une extension, vous devez disposer de l'adresse suivante gnome-tweak-tool installé, il devrait être installé par défaut sur la plupart des versions modernes d'Ubuntu GNOME, mais si ce n'est pas le cas, vous pouvez l'installer en exécutant la commande suivante :

sudo apt-get install gnome-tweak-tool

Avec le gnome-tweak-tool comporte des extensions préinstallées mais non préactivées, vous pouvez les visualiser en ouvrant l'application gnome-tweak-tool (vous pouvez soit exécuter cette opération dans le Terminal ( CTRL + ALT + T ) ou vous pouvez rechercher Tweak Tool dans la vue d'ensemble des activités) et aller à la Extensions section.


Préparation des navigateurs (installation et mise à jour)

Firefox

Version 52

Depuis la version 52 de Firefox, la prise en charge des plugins NPAPI a été supprimée, de sorte que des plugins tels que le plugin GNOME Shell Integration et Java etc. ne fonctionneront pas. Ainsi, si vous souhaitez installer une nouvelle extension qui n'est pas déjà installée, vous aurez besoin d'une solution en deux parties :

  1. Application de messagerie hôte native :

    sudo apt-get install chrome-gnome-shell
  2. El Intégration de GNOME Shell plugin Firefox .

Après avoir installé ces deux éléments, vous devrez redémarrer votre navigateur pour que les changements soient pris en compte. Ensuite, vous pourrez naviguer et installer des extensions GNOME à partir de ici .

Version inférieure à 52

Si vous souhaitez installer une nouvelle extension qui n'est pas déjà pré-installée aller ici dans Firefox et assurez-vous que le GNOME Shell Integration est activé. Donc, soit vous allez ici about:addons (entrez ceci dans la barre URL et appuyez sur ENTER ), allez dans le Plugins et assurez-vous que la section GNOME Shell Integration est réglé sur Always Activate ou faire la même chose, mais en lui donnant la valeur suivante Ask to Activate et ensuite, lorsque vous visitez le site web des extensions GNOME, assurez-vous de cliquer soit sur Allow Now à chaque fois, ou appuyez sur Allow and Remember (vous devrez cliquer sur la petite brique lego pour obtenir ce dialogue - la brique montrée dans la capture d'écran ci-dessous) :

Allow GNOME Shell Integration Plugin Dialog

L'activation de ce plugin permet au site web de détecter votre version GNOME ainsi que d'installer et de gérer vos extensions. Le plugin devrait être installé par défaut dans Firefox 52 et inférieur sur Ubuntu GNOME.

Chrome et chrome

(et certains autres navigateurs basés sur Chromium, dont Vivaldi)

Étant donné que la prise en charge du plugin NPAPI n'est pas non plus disponible dans ces navigateurs, vous aurez besoin d'une solution en deux parties :

  1. Application de messagerie hôte native :

    sudo apt-get install chrome-gnome-shell
  2. El Intégration de GNOME Shell plugin Chrome .

Après avoir installé ces deux éléments, vous devrez redémarrer votre navigateur pour que les changements soient pris en compte. Ensuite, vous pourrez naviguer et installer des extensions GNOME à partir de ici .

Source partielle : Comment installer les extensions GNOME à l'aide de Google Chrome ou Vivaldi

Epiphany (GNOME Web)

Le navigateur "Web" natif de GNOME, Epiphany, prend toujours en charge les plugins NPAPI et possède le plugin d'extension GNOME nécessaire préinstallé ; il n'est donc pas nécessaire de le configurer.

S'il n'est pas déjà installé, il peut l'être avec :

sudo apt-get install epiphany-browser

Installation d'une nouvelle extension

Les extensions les plus populaires seront affichées sur la page initiale à laquelle vous accédez. Vous pouvez toutefois choisir de trier le contenu des pages et les résultats de la recherche à l'aide de l'option Name , Recent y Downloads filtres. Vous pouvez également choisir d'afficher les résultats pour All versions par opposition à la seule Current version que vous exécutez (toute tentative d'installation d'extensions non compatibles avec votre version de GNOME se soldera par un échec silencieux - l'opération ne réussira pas mais vous n'en serez pas averti de quelque manière que ce soit - bien que les extensions qui ne sont pas compatibles seront légèrement grisées dans la liste des résultats afin que vous puissiez toujours le savoir, même avec l'option All versions filtre sélectionné).
Les différents filtres que j'ai mentionnés ci-dessus sont accessibles par les menus déroulants correspondants (j'ai mis un cadre rouge autour des paramètres en question) :

GNOME Website Result Filters

Vous pouvez également utiliser le champ de recherche pour trouver des extensions. Une fois que vous avez trouvé une extension que vous souhaitez installer (si vous êtes préoccupé par la sécurité des extensions, vous devriez lire le document suivant cette information sur le processus de révision - aller au Are GNOME Shell extensions safe? les extensions doivent passer par cette section avant d'être acceptées sur le site web), cliquez sur son nom dans les résultats de la recherche, puis une fois sur la page, cliquez sur le bouton ON/OFF à côté de son nom (comme cela a été fait ci-dessus dans l'onglet gnome-tweak-tool ), vous obtiendrez une boîte de dialogue vous demandant si vous souhaitez installer ladite extension, si vous le faites, appuyez sur Install Si vous avez changé d'avis, appuyez sur Cancel .

Si vous n'obtenez pas un tel dialogue, vous venez de tomber sur l'une de vos extensions préinstallées et l'avez activée !

Après avoir apporté des modifications à vos extensions installées/activées à partir du site web, vous devrez redémarrer le système de gestion de la sécurité. gnome-tweak-tool pour qu'il puisse enregistrer les changements.

Gestion des extensions

Afin d'activer une extension, cliquez sur le bouton ON/OFF à côté de son nom et de sa description afin que son statut passe de OFF à ON (et vice-versa pour le désactiver).
Vous verrez que les extensions préinstallées ont une case grisée. Remove Ce bouton est grisé parce qu'ils sont préinstallés, mais si vous en installez un nouveau, vous pourrez utiliser ce bouton pour le supprimer définitivement.

Vous verrez également que certaines des extensions ont un bouton à côté de leur Remove qui ressemble à ceci :

Extension Options Button

En cliquant sur ce bouton, vous pourrez modifier la configuration de l'extension en question (cela devrait lancer une fenêtre de paramètres).

El vue en ligne vous permet également de faire la même chose (bien qu'il vous permette également de supprimer/désinstaller des extensions préinstallées, alors soyez prudent - bien que vous puissiez bien sûr les réinstaller à nouveau).

Mise à jour des extensions

El gnome-tweak-tool ne supporte pas la mise à jour des extensions par le biais de son interface (bien qu'à l'avenir, il soit prévu que toute l'interface web soit supprimée et que tout se fasse par l'intermédiaire de gnome-software ), si une nouvelle version d'une extension est disponible et que vous souhaitez la mettre à niveau, vous pouvez le faire en allant à l'adresse suivante ici et en cliquant sur le bouton de mise à niveau situé à côté du ON/OFF (s'il n'y a pas de bouton de mise à niveau, l'extension est déjà à jour) :

GNOME Shell Extension Upgrade Button

Il vous sera alors demandé si vous souhaitez Upgrade ladite extension, en appuyant sur Upgrade le mettra à niveau, mais en appuyant sur le bouton Cancel le désactivera, voire le désinstallera, de sorte que vous devrez le réinstaller ou le réactiver à nouveau.

Conseils et astuces :

En cliquant avec le bouton droit de la souris sur le Activities Overview (ou Activities comme il est normalement appelé sur le bouton) fera apparaître une fenêtre spécifiquement dédiée à vos extensions GNOME Shell :

GNOME Shell Extensions Dedicated Window


Cette procédure devrait fonctionner pour tous ceux qui utilisent GNOME 3.4+.

28voto

M.Tarun Points 4821

Les extensions Gnome-shell peuvent être installées depuis la page web des extensions Gnome-shell. Le site est : https://extensions.gnome.org/ description de l'image

Pour installer une extension, cliquez sur l'extension et vous serez redirigé vers une page décrivant l'extension.

description de l'image

Sur cette page, vous verrez un curseur. Activez le curseur si vous souhaitez installer l'extension. Ensuite, vous verrez une fenêtre pop-up pour installer l'extension.

description de l'image

Les extensions installées peuvent être gérées depuis https://extensions.gnome.org/local/

description de l'image

Une fois sur l'onglet Extensions installées, vous pouvez mettre à jour une extension, la désactiver et accéder aux paramètres directement depuis le navigateur.

Mise à jour :

Vous pouvez trouver le bouton de mise à jour à côté du nom de l'extension lorsqu'une mise à jour est disponible.

image du bouton de mise à jour

Cliquez sur ce bouton pour mettre à jour. Vous verrez une fenêtre pop-up similaire à celle que vous avez vue lors de l'installation de l'extension, demandant la permission d'installer la mise à jour de l'extension. Cliquez sur le bouton Installer (Oui, ce n'est pas Mettre à jour) pour installer la mise à jour de l'extension.

Utilisation des paramètres de l'extension

Bien que vous puissiez utiliser gnome-tweak-tool, vous pouvez également ouvrir la fenêtre des paramètres de l'extension depuis le site si celle-ci en propose un. Cliquez simplement sur la petite icône de clé à molette. Une fenêtre de paramètres devrait apparaître comme le montre la capture d'écran suivante.

ouverture d'une fenêtre de paramètres depuis le site de l'extension

Suppression d'une extension

Vous pouvez également supprimer une extension depuis le site à condition qu'elle ne soit pas intégrée par défaut dans gnome-shell (ce qui les installe dans la zone système).

En cliquant sur la croix rouge, vous devriez désinstaller l'extension.

bouton de suppression des extensions

27voto

karel Points 97032

Ubuntu 20.04 et ultérieur

Sous Ubuntu 20.04 et ultérieur, plusieurs extensions populaires de GNOME Shell sont installées par défaut. Ces extensions préinstallées peuvent être activées depuis l'application Tweaks en installant le paquet gnome-shell-extensions.

sudo apt update
sudo apt install gnome-shell-extensions

Reconnectez-vous sur votre bureau Ubuntu. Ensuite, ouvrez l'application Tweaks et sélectionnez Extensions dans la liste des catégories sur le côté gauche. Vous pouvez essayer une extension de GNOME Shell préinstallée en basculant le bouton curseur de l'extension de ON à OFF, puis en le basculant à nouveau pour la désactiver, comme indiqué dans la capture d'écran ci-dessous.

enter image description here

De nombreuses extensions de GNOME Shell qui ne sont pas installées par défaut peuvent être installées via apt à partir des dépôts Ubuntu par défaut. Pour afficher une liste des extensions de GNOME Shell disponibles et de leur statut d'installation, exécutez la commande suivante :

apt policy gnome-shell-extension-*

Ubuntu 18.04

Sous Ubuntu 18.04, les extensions de GNOME Shell peuvent être installées à partir de l'application Logiciels Ubuntu. Faites une recherche par mot-clé pour "extensions GNOME shell" et le type d'application que vous recherchez.

Vous pouvez également rechercher toutes les extensions de GNOME Shell disponibles sur la même page en appuyant sur le bouton Add-ons qui se trouve sous l'en-tête Categories. Dans l'écran Add-ons, sélectionnez l'onglet Extensions de Shell et vous verrez toutes les extensions de GNOME Shell disponibles.

enter image description here

  • En cliquant sur une extension de GNOME Shell dans la liste des résultats de recherche, son écran s'affichera souvent avec des captures d'écran.

  • En cliquant sur le bouton       Site Web        , son site web s'ouvrira dans un navigateur web où vous pourrez voir une image plus grande de la même capture d'écran qui était affichée dans Logiciels Ubuntu.

  • En cliquant sur le bouton         Installer          , l'extension sera installée.

Le paquet gnome-shell-extension-tool dans les dépôts Ubuntu par défaut est un outil pour gérer vos extensions de GNOME Shell installées.

gnome-shell-extension-tool est fourni par le paquet gnome-shell. Pour 19.10 et ultérieur, utilisez gnome-extensions à la place de gnome-shell-extension-tool :

Résultats de gnome-shell-extension-tool --help :

Usage: gnome-shell-extension-tool [options] [extension-name]

Options:
  -h, --help            afficher ce message d'aide et quitter
  -d DISABLE, --disable-extension=DISABLE
                        Désactiver une extension GNOME Shell
  -e ENABLE, --enable-extension=ENABLE
                        Activer une extension GNOME Shell
  -c, --create-extension
                        Créer une nouvelle extension GNOME Shell
  -r RELOAD, --reload-extension=RELOAD
                        Recharger une extension GNOME Shell

8voto

Knowledge Cube Points 14265

Le site Web GNOME dispose d'une section Extensions mise en place, qui est actuellement en phase bêta. Il promet une installation facile des extensions et la gestion de celles installées, grâce à une interface web.

Le site peut être consulté ici : https://extensions.gnome.org/

7voto

pomsky Points 62110

(Cette réponse a été initialement publiée en réponse à une question intitulée <a href="https://askubuntu.com/questions/1029161/unable-to-install-gnome-shell-extensions-using-gnome-tweaks-in-ubuntu-18-04?noredirect=1">Impossible d'installer des extensions GNOME Shell en utilisant GNOME Tweaks dans Ubuntu 18.04</a>)


La fonctionnalité d'installation d'extensions a été supprimée de GNOME Tweaks (depuis la version 3.26, celle d'Ubuntu 17.10 si je me souviens bien).

Pour installer manuellement des extensions, il suffit d'extraire l'archive que vous avez obtenue sur le site officiel et de copier/déplacer le dossier de l'extension (généralement de la forme nom-extension@info-développeur) dans votre répertoire ~/.local/share/gnome-shell/extensions/. Ensuite, reconnectez-vous (ou redémarrez GNOME Shell). L'extension devrait apparaître maintenant dans (GNOME) Tweaks. Activez-la à partir de là.

SistemesEz.com

SystemesEZ est une communauté de sysadmins où vous pouvez résoudre vos problèmes et vos doutes. Vous pouvez consulter les questions des autres sysadmins, poser vos propres questions ou résoudre celles des autres.

Powered by:

X