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?
Réponses:
Afin d'installer une extension, vous devez l'avoir gnome-tweak-tool
installée, elle devrait être installée 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 gnome-tweak-tool
quelques extensions pré-installées mais pas pré-activées, vous pouvez les visualiser en ouvrant le gnome-tweak-tool
(vous pouvez soit l'exécuter dans Terminal ( CTRL+ ALT+ T), soit en effectuant une recherche Tweak Tool
dans la vue d'ensemble des activités) et en accédant à la Extensions
section.
Depuis la version 52 de Firefox, la prise en charge des plug-in NPAPI a été supprimée, de sorte que les GNOME Shell Integration
plug- ins tels que le plug - in, Java, etc. 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 hôte native:
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. Vous pourrez ensuite parcourir et installer les extensions GNOME à partir d’ 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 GNOME Shell Integration
plugin est activé. Donc soit allez ici about:addons
(entrez ceci dans la barre d'URL et appuyez sur ENTER), allez à la Plugins
section et assurez-vous que le GNOME Shell Integration
plugin est défini sur Always Activate
, ou faites la même chose, mais définissez-le sur Ask to Activate
et puis lorsque vous visitez le site Web des extensions GNOME, assurez-vous soit vous cliquez Allow Now
chaque fois, soit vous 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 hôte native:
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. Vous pourrez ensuite parcourir et installer les extensions GNOME à partir d’ 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 seront affichés sur la page initiale que vous obtenez, vous pouvez cependant choisir de trier le contenu des pages et des résultats de recherche en utilisant les Name
, Recent
et les Downloads
filtres. Vous pouvez également choisir d’afficher les résultats All versions
plutôt que seulement ceux que Current version
vous exécutez (toute tentative d’installation d’extensions incompatibles avec votre version de GNOME entraînera un échec silencieux - l’opération ne sera pas réussie mais vous n’en serez pas averti de toute façon - bien que les extensions qui ne sont pas compatibles soient légèrement grisées dans la liste des résultats, vous pourrez toujours savoir, même si le All versions
filtre est sélectionné).
Les différents filtres mentionnés ci-dessus sont accessibles via les menus déroulants appropriés (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 ces informations au sujet du processus de révision - allez à la Are GNOME Shell extensions safe?
section - les extensions ont avant de les accepter sur le site Web), cliquez sur son nom dans les résultats de la recherche, puis une fois que vous êtes sur la page, cliquez sur le ON/OFF
curseur à côté de son nom (comme indiqué ci-dessus dans le menu gnome-tweak-tool
), une boîte de dialogue vous demandant si vous souhaitez installer ladite extension, si vous le souhaitez, appuyez sur Install
, si vous avez changé d'avis, appuyez sur Cancel
.
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 que les modifications soient enregistrées.
Pour activer une extension, cliquez sur le ON/OFF
curseur à côté de son nom et de sa description afin que son statut passe de OFF
à ON
(et inversement pour la désactiver).
Vous verrez que les extensions préinstallées ont un Remove
bouton grisé à côté de chacune d’elles. Celles-ci sont grisées parce qu’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 Remove
bouton 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 des extensions préinstallées, alors soyez prudent - vous pourrez bien sûr les réinstaller à nouveau).
La 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 mettre au rebut toute l’interface Web et de procéder à son exécution complète gnome-software
), si une nouvelle version d’une extension est publiée et que vous souhaitez effectuer une mise à niveau. vous pouvez le faire en allant ici et en cliquant sur le bouton de mise à niveau à côté du ON/OFF
curseur (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 utiliser Upgrade
ladite extension. Appuyez sur Upgrade
pour la mettre à niveau. Toutefois, une pression sur le Cancel
bouton désactivera ou même éventuellement la désinstallera afin que vous deviez la réinstaller ou la réactiver.
Trucs et astuces:
Un clic droit sur le Activities Overview
bouton (ou Activities
normalement appelé sur le bouton) fera apparaître une fenêtre spécifiquement dédiée à vos extensions GNOME Shell:
Ce processus devrait fonctionner pour tous ceux qui utilisent GNOME 3.4+.
chrome-gnome-shell
est disponible dans le référentiel officiel pour le 16.04
xenial-updates
section fait partie du référentiel principal, c'est juste une catégorie par opposition à xenial-security
.
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 Extensions installées , vous pouvez mettre à niveau n'importe quelle 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 recevrez une invite similaire à celle que vous obtenez 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.
Utiliser les paramètres d'extension
Bien que vous puissiez utiliser gnome-tweak-tool, vous pouvez toujours afficher la fenêtre de configuration des extensions depuis le 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.
Supprimer 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 de shell GNOME" et le type d'application que vous recherchez.
Vous pouvez également effectuer une recherche parmi 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 bouton, son site Web s'ouvrira dans un navigateur Web où 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/
Gnome
addon installé pour pouvoir voir ce bouton.
~/.local
racine ).
Accédez à la page des extensions gnome-shell à l' aide d'un navigateur pris en charge (qui n'est pas totalement sécurisé pour tout ce qui est exécuté sur le Web ou en provenance de celui-ci).
Tout comme le navigateur gnome d'origine ou une nouvelle installation de Firefox devrait également fonctionner. J'ai parfois eu des problèmes lors de l'installation d'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!) - ouvrir le dialogue d'exécution de gnome-shell ( Alt+ F2) - si cette option n'est pas définie, cochez Alt + F2 pour ne pas afficher l'invite de commande Exécuter. dans GNOME Shell ), tapez r
et tapez Enter.
(Cette réponse a été initialement publiée pour une question intitulée Impossible d'installer des extensions de shell GNOME à 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 d'extension (généralement du formulaire extension-name@developer-info
) dans votre ~/.local/share/gnome-shell/extensions/
répertoire. Puis reconnectez-vous (ou redémarrez le shell GNOME). L'extension devrait maintenant apparaître dans les Tweaks (GNOME) . Activez-le à partir de là.
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 d'ajustement. 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.
Vous pouvez exécuter directement l'application de sélection d'extension avec la commande suivante:
sudo gnome-shell-extension-prefs
activez le poste, puis appuyez sur Alt+ F2, sur la ligne de commande, entrez, r
puis 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.
gnome-shell-extension-prefs
.