Comment installer les extensions GNOME Shell?
Est-il possible de mettre à jour, supprimer et gérer les extensions?
Pour installer une extension, vous devez installer le gnome-Tweak-tool
. Celui-ci doit être installé par défaut sur les versions les plus récentes d'Ubuntu GNOME. Toutefois, si ce n'est pas le cas, vous pouvez l'installer en exécutant ce qui suit:
Sudo apt-get install gnome-Tweak-tool
Avec le gnome-Tweak-tool
viennent des extensions pré-installées mais pas pré-activées, vous pouvez les voir en ouvrant le gnome-Tweak-tool
(vous pouvez soit l'exécuter dans Terminal (CTRL + ALT + T) ou vous pouvez rechercher Tweak Tool
dans la vue d'ensemble des activités) et aller à la section Extensions
name__.
Depuis la version 52 de Firefox, la prise en charge des plug-ins NPAPI a été supprimée, de sorte que les plugins tels que le plugin GNOME Shell Integration
et Java etc ne fonctionneront pas. Donc, 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 Native Host:
Sudo apt-get install chrome-gnome-Shell
Après avoir installé ces deux logiciels, vous devrez redémarrer votre navigateur pour que les modifications prennent effet. Ensuite, vous pourrez parcourir et installer les extensions GNOME à partir de ici .
Si vous souhaitez installer une nouvelle extension qui n'est pas déjà préinstallée allez ici dans Firefox et assurez-vous que le plugin GNOME Shell Integration
est activé. Donc, soit allez ici about:addons
(entrez ceci dans la barre d’URL et appuyez sur ENTER), allez à la section Plugins
et assurez-vous que le plugin GNOME Shell Integration
est défini sur Always Activate
ou faites de même, mais définissez-le plutôt à Ask to Activate
puis, lorsque vous visitez le site Web des extensions GNOME, assurez-vous de cliquer sur Allow Now
à chaque fois ou appuyez sur Allow and Remember
(vous devrez cliquer sur la petite brique lego pour afficher cette boîte de dialogue - la brique illustrée dans la capture d'écran ci-dessous):
L'activation de ce plugin permet au site Web de détecter votre version de GNOME ainsi que d'installer et de gérer vos extensions. Le plugin doit être installé par défaut dans Firefox 52 et inférieur sur Ubuntu GNOME.
(et quelques autres navigateurs à base de chrome, y compris Vivaldi)
Le support de plug-in NPAPI n'étant pas disponible dans ces navigateurs, vous aurez également besoin d'une solution en deux parties:
Application de messagerie Native Host:
Sudo apt-get install chrome-gnome-Shell
Après avoir installé ces deux logiciels, vous devrez redémarrer votre navigateur pour que les modifications prennent effet. Ensuite, vous pourrez parcourir et installer les extensions GNOME à partir de ici .
Source partielle: Comment installer les extensions GNOME à l'aide de Google Chrome ou de Vivaldi
Le navigateur Web "natif" de GNOME, Epiphany, prend toujours en charge les plug-ins NPAPI et dispose des extensions GNOME nécessaires préinstallées. Il n’est donc pas nécessaire de les configurer.
S'il n'est pas déjà installé, il peut être installé avec:
Sudo apt-get install epiphany-browser
Les extensions les plus populaires sont affichées sur la page initiale. Vous pouvez toutefois choisir de trier le contenu de la page et les résultats de la recherche à l'aide des filtres Name
name__, Recent
et Downloads
name__. Vous pouvez également choisir d’afficher les résultats pour All versions
plutôt que seulement le Current version
que vous exécutez (toute tentative d’installation d’extensions non compatibles avec votre version de GNOME entraînera un échec silencieux. L’opération échouera mais vous ne serez pas averti. ceci de quelque manière que ce soit - bien que les extensions non compatibles seront légèrement grisées dans la liste des résultats afin que vous puissiez toujours le savoir même avec le filtre All versions
sélectionné).
Les différents filtres que j'ai mentionnés ci-dessus sont accessibles via les menus déroulants appropriés (j'ai mis un cadre rouge autour des réglages 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 cette information sur le processus de révision - allez à la section Are GNOME Shell extensions safe?
- les extensions doivent passer par avant d'être acceptées sur le site), cliquez sur son nom dans les résultats de la recherche, puis une fois que vous êtes sur sa page, cliquez sur le curseur ON/OFF
à côté de son nom (comme indiqué plus haut dans gnome-Tweak-tool
), vous obtiendrez une boîte de dialogue vous demandant si vous souhaitez installer ladite extension. Si vous le souhaitez, appuyez sur Install
name__, si vous avez changé d’idée, appuyez sur Cancel
name__.
Si vous n'obtenez pas un tel dialogue, vous venez de trébucher sur l'une de vos extensions pré-installées et de l'activer!
Une fois les modifications apportées aux extensions installées/activées à partir du site Web, vous devrez redémarrer le gnome-Tweak-tool
pour pouvoir enregistrer les modifications.
Pour activer une extension, cliquez sur le curseur ON/OFF
à côté de son nom et de sa description afin que son statut change de OFF
à ON
(et inversement pour le désactiver).
Vous verrez que les extensions pré-installées ont un bouton grisé Remove
à côté de chacune d’elles, elle est grisée car elles sont pré-installées. Si vous en installez une nouvelle, vous pourrez utiliser ce bouton pour le supprimer définitivement.
Vous verrez également que certaines extensions ont un bouton à côté de leur bouton Remove
qui ressemble à ceci:
En cliquant sur ce bouton, vous pourrez modifier la configuration de l'extension en question (une fenêtre de configuration devrait s'afficher).
La vue en ligne vous permet également de procéder de la même manière (bien qu’elle vous permette également de supprimer/désinstaller les extensions préinstallées, faites donc attention - bien que vous puissiez bien sûr les réinstaller à nouveau).
Le gnome-Tweak-tool
ne prend pas en charge la mise à niveau des extensions via son interface (bien qu’à l’avenir, il soit prévu de supprimer l’ensemble de l’interface Web et de le faire via gnome-software
), si une nouvelle version d’une extension est publiée et que vous le souhaitez. pour le mettre à niveau, vous pouvez le faire en allant ici et en cliquant sur le bouton de mise à niveau situé à côté du curseur ON/OFF
(s'il n'y a pas de bouton de mise à niveau, l'extension est déjà à jour):
Vous serez alors invité à indiquer si vous souhaitez Upgrade
ladite extension. Si vous appuyez sur Upgrade
name__, vous pourrez la mettre à niveau. Toutefois, si vous appuyez sur le bouton Cancel
name__, vous devrez peut-être le désinstaller ou le réinstaller, de sorte que vous devrez le réinstaller ou le réactiver.
Trucs et astuces:
En cliquant avec le bouton droit sur le bouton Activities Overview
(ou Activities
comme il est normalement appelé sur le bouton), une fenêtre spécifiquement dédiée à vos extensions GNOME Shell apparaîtra:
Ce processus devrait fonctionner pour tous ceux qui utilisent GNOME 3.4+.
Les extensions Gnome-Shell peuvent être installées à partir de la page Web des extensions Gnome-Shell. Le site est: https://extensions.gnome.org/
Pour installer une extension, cliquez sur l'extension, puis vous verrez une page décrivant l'extension.
Dans cette page, vous pouvez voir un curseur. Activez le curseur si vous souhaitez installer l'extension. Ensuite, vous verrez une invite pour installer l'extension.
Les extensions installées peuvent être gérées depuis https://extensions.gnome.org/local/
Une fois que vous êtes sur l'onglet Installed extensions , vous pouvez mettre à niveau toute extension, désactiver et importer les paramètres directement à partir du 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 obtiendrez une invite semblable à celle que vous avez obtenue lorsque vous avez installé l'extension en demandant l'autorisation d'installer cette extension. cliquez sur le bouton Installer (oui, ce n'est pas la mise à jour) pour installer l'extension mise à jour.
Utilisation des paramètres d'extension
Bien que vous puissiez utiliser gnome-Tweak-tool, vous pouvez toujours afficher la fenêtre de configuration des extensions à partir du site si l'extension en fournit une. Cliquez simplement sur l'icône de la petite clé. Une fenêtre de paramètres devrait apparaître comme indiqué dans la capture d'écran suivante.
Suppression d'une extension
Vous pouvez également supprimer une extension du site à condition qu'elle ne vienne pas par défaut avec gnome-Shell (ce qui les rend installées dans la zone système).
Cliquer sur la croix rouge devrait désinstaller l'extension.
Dans Ubuntu 18.04 et versions ultérieures, GNOME Shell Extensions peut être installé à partir de l'application logicielle Ubuntu. Effectuez une recherche par mot-clé pour "Extensions GNOME Shell" et le type d'application que vous recherchez.
Vous pouvez également rechercher à partir de toutes les extensions de shell GNOME disponibles sur le même écran en appuyant sur le bouton Modules complémentaires situé sous l'en-tête Catégories . Dans l'écran Add-ons, sélectionnez l'onglet Shell Extensions et vous verrez toutes les extensions GNOME Shell disponibles.
En cliquant sur une extension de shell GNOME dans la liste des résultats de la recherche, son écran s’affichera qui affichera souvent des captures d’écran.
En cliquant sur le Website Ce bouton ouvrira son site Web dans un navigateur Web sur lequel vous pourrez voir une image plus grande de la même capture d'écran que celle affichée dans Ubuntu Software.
En cliquant sur le Install bouton installera l'extension.
Le site Web GNOME a une section Extensions configurée, qui est actuellement dans sa phase bêta. Il promet une installation facile des extensions et la gestion de celles installées via une interface Web.
Le site est accessible ici: https://extensions.gnome.org/
Allez à la page des extensions gnome-Shell en utilisant un navigateur supporté (qui n'est pas totalement sécurisé pour tout ce qui tourne ou qui en sort la toile).
Tout comme le navigateur gnome d'origine ou une nouvelle installation de Firefox devrait également fonctionner. J'ai parfois eu des problèmes pour installer des extensions avec Google Chrome ou Midori.
Filtrer par "Pris en charge par: Version actuelle"
Cliquez sur le bouton à bascule de l'extension que vous voulez
Une question "installer cette extension" devrait apparaître. Confirmer.
Dans de rares cas, vous devez recharger gnome-Shell pour qu'une nouvelle extension fonctionne sans problème (RARE!) - ouvrez le dialogue d'exécution de gnome-Shell (Alt+F2) - si non coché Alt + F2 n’affiche pas l’invite de commande Exécuter dans GNOME Shell ), saisissez r
et tapez Enter.
(Cette réponse a été initialement postée à une question intitulée Impossible d'installer les extensions GNOME Shell à l'aide de GNOME Tweaks dans Ubuntu 18.04 )
Oui, la fonctionnalité d'installation d'extension est supprimée de GNOME Tweaks (depuis la v3.26, celle d'Ubuntu 17.10 si mes souvenirs sont exacts).
Pour installer manuellement des extensions, extrayez simplement l'archive que vous avez obtenue sur le site officiel et copiez/déplacez le dossier de l'extension (généralement de la forme extension-name@developer-info
) dans votre répertoire ~/.local/share/gnome-Shell/extensions/
. Puis reconnectez-vous (ou redémarrez GNOME Shell). L'extension devrait apparaître dans les (GNOME) réglages maintenant. Activez-le à partir de là.
Vous pouvez exécuter directement l'application de sélection d'extension avec la commande suivante:
Sudo gnome-Shell-extension-prefs
activer l'extension puis appuyer sur Alt + F2, sur la ligne de commande, entrez r
et appuyez sur Enter.
Cette méthode peut présenter des problèmes:
Lorsque vous redémarrez le shell GNOME (Alt + F2, r
) les extensions peuvent ne plus fonctionner. (Exemple: Dash-to-Panel).
Si vous utilisez la commande gnome-Shell-extension-prefs
dans l'application qui s'ouvre, les extensions peuvent apparaître comme non activées.
Je suis devenu fou en essayant de faire fonctionner cela sur une installation propre du gnome Ubuntu 14.04. J'ai trouvé la solution.
about:addons
).J'ai ensuite fermé firefox puis rouvert. Quand je suis retourné à http://addons.mozilla.org . J'ai pu installer les extensions (le curseur est resté dans la position d'activation. L'extension est apparue dans l'outil Tweak par la suite. J'espère que cela aide. J'ai lu beaucoup de réponses et essayé beaucoup de choses. Je suis simplement heureux que Je l'ai compris et je peux le partager avec tout le monde.Voici une liste rapide de versions pour que vous puissiez vérifier auprès de la vôtre.
Nouvelle installation d’Ubuntu Gnome 14.04 Firefox 34. Version installée lors de l’installation.