Comment installer les extensions GNOME Shell ?
Est-il possible de mettre à jour, supprimer et gérer les extensions ?
Comment installer les extensions GNOME Shell ?
Est-il possible de mettre à jour, supprimer et gérer les extensions ?
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.
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 :
Application de messagerie hôte native :
sudo apt-get install chrome-gnome-shell
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 .
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) :
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.
(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 :
Application de messagerie hôte native :
sudo apt-get install chrome-gnome-shell
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
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
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) :
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.
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 :
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).
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) :
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 :
Cette procédure devrait fonctionner pour tous ceux qui utilisent GNOME 3.4+.
Les extensions Gnome-shell peuvent être installées depuis la page web des extensions Gnome-shell. Le site est : https://extensions.gnome.org/
Pour installer une extension, cliquez sur l'extension et vous serez redirigé vers une page décrivant l'extension.
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.
Les extensions installées peuvent être gérées depuis https://extensions.gnome.org/local/
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.
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.
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.
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.
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-*
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.
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
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/
(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à.
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.