Question Comment installer et gérer les extensions GNOME Shell?


Comment installer les extensions GNOME Shell?

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


67
2017-11-04 18:11


origine


askubuntu.com/questions/1057164/… - alhelal


Réponses:


Pour installer une extension, vous devez avoir le gnome-tweak-tool installé, celui-ci doit être installé par défaut sur la plupart des versions GNOME d’Ubuntu, mais si ce n’est pas le cas, vous pouvez l’installer en exécutant les opérations suivantes:

sudo apt-get install gnome-tweak-tool

Avec le gnome-tweak-tool viennent des extensions pré-installées mais non 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 Extensions section.


Préparations du navigateur (installation et mise à jour)

Firefox

Version 52+

Depuis la version de Firefox 52, le support du plug-in NPAPI a été supprimé. GNOME Shell Integration le plugin 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:

  1. Application de messagerie hôte native:

    sudo apt-get install chrome-gnome-shell
    
  2. le Plugin GNOME Shell Integration Firefox.

Après avoir installé les deux, vous devrez redémarrer votre navigateur pour que les modifications prennent effet. Ensuite, vous pourrez parcourir et installer les extensions GNOME à partir de ici.

Ci-dessous la version 52

Si vous souhaitez installer une nouvelle extension qui n'est pas déjà préinstallée va ici dans Firefox et assurez-vous que le GNOME Shell Integration le plugin est activé. Alors soit allez ici about:addons (entrez ceci dans la barre d’URL et appuyez sur ENTRER), allez à la Plugins section, et assurez-vous que le GNOME Shell Integration le plugin est défini sur Always Activate, ou faites la même chose mais placez-la plutôt Ask to Activate et puis lorsque vous visitez le site Web d’extensions GNOME, assurez-vous de bien cliquer sur Allow Now à chaque fois, ou appuyez sur Allow and Remember (vous devrez cliquer sur la petite brique lego pour obtenir cette boîte de 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 de GNOME ainsi que d'installer et de gérer vos extensions. Le plugin doit être installé par défaut dans Firefox 52 et ci-dessous sur Ubuntu GNOME.

Chrome et Chrome

(et quelques autres navigateurs basés sur Chrome, y compris Vivaldi)

Étant donné que la prise en charge du plug-in NPAPI n'est pas 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. le GNOME Shell Integration plugin Chrome.

Après avoir installé les deux, 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 en utilisant Google Chrome ou Vivaldi

Épiphanie (Web GNOME)

Le navigateur natif GNOME "Web" Epiphany prend toujours en charge les plug-ins NPAPI et dispose du plug-in d'extensions GNOME nécessaire, ce qui évite toute configuration.

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

sudo apt-get install epiphany-browser

Installer une nouvelle extension

Les extensions les plus populaires seront affichées sur la page initiale, vous pouvez cependant choisir de trier le contenu de la page et les résultats de la recherche en utilisant Name, Recent, et Downloads filtres Vous pouvez également choisir d'afficher les résultats pour All versions par opposition à la Current version vous êtes en cours d'exécution (tenter d'installer des extensions non compatibles avec votre version de GNOME entraînera un échec silencieux - l'opération ne sera pas couronnée de succès mais vous n'en serez pas averti - bien que les extensions non compatibles soient légèrement grisées dans la liste des résultats afin que vous puissiez toujours être en mesure de dire, même avec le All versions filtre sélectionné).
Les différents filtres mentionnés ci-dessus sont accessibles via les menus déroulants correspondants (j'ai mis une zone 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 cette information sur le processus de révision - allez à la Are GNOME Shell extensions safe? section - les extensions doivent passer avant d’être acceptées sur le site), cliquez sur son nom dans les résultats de la recherche, puis une fois sur sa page, cliquez sur le nom ON/OFF curseur à côté de son nom (comme ci-dessus dans le 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 trouver 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 afin qu'il enregistre les modifications.

Gestion des extensions

Pour activer une extension, cliquez sur le bouton ON/OFF curseur à côté de son nom et la description de sorte que son statut change de OFF à ON, (et vice-versa pour le désactiver).
Vous verrez que les extensions préinstallées ont un grisé Remove bouton à côté de chacun d'eux, cela est grisé car ils sont pré-installés, 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 bouton qui ressemble à ceci:

Extension Options Button

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

le vue en ligne vous permet également de faire la même chose (bien que cela vous permette également de supprimer / désinstaller des extensions préinstallées, donc faites preuve de prudence, bien que vous puissiez bien sûr les réinstaller à nouveau).

Mise à jour des extensions

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 tout gnome-software), si une nouvelle version d'une extension est publiée et que vous souhaitez la mettre à jour, vous pouvez le faire en allant ici et en cliquant sur le bouton de mise à niveau à côté de la ON/OFF slider (s'il n'y a pas de bouton de mise à niveau, l'extension est déjà à jour):

GNOME Shell Extension Upgrade Button

Vous serez alors invité si vous souhaitez Upgrade ladite extension, en appuyant sur Upgrade le mettra à niveau, mais en appuyant sur la Cancel Le bouton désactivera ou même désinstallera le logiciel afin de le réinstaller ou de le réactiver.

Trucs et astuces:

Clic droit sur le Activities Overview bouton (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


Ce processus devrait fonctionner pour tous ceux qui utilisent GNOME 3.4+.


37
2018-04-14 13:50



chrome-gnome-shell est disponible dans le dépôt officiel pour 16.04 - Anwar
@Anwar: Il n'était pas présent la dernière fois que j'ai vérifié, même si j'ai peut-être regardé légèrement au mauvais endroit ... Ou du moins, ce n'était pas évident sur LaunchPad. Mais j'ai maintenant mis à jour ma réponse.
C'est dans le référentiel xenial-updates. Donc, il est probable qu'il soit repoussé plus tard. - Anwar
@Anwar: Le xenial-updates section fait partie du repo principal, c'est juste une catégorie par opposition à xenial-security.
Oui, je le savais. Contrairement à xenial-main, les mises à jour de xenial ne sont pas gelées après la publication et peuvent être utilisées pour pousser un nouveau package. C'est ce que je voulais dire - Anwar


Les extensions Gnome-shell peuvent être installées depuis la page Web des extensions Gnome-shell. Le site est: https://extensions.gnome.org/ enter image description here 

Pour installer une extension, cliquez sur l'extension, puis vous irez sur une page décrivant l'extension.

enter image description here 

Dans cette page, vous pouvez voir un commutateur à curseur. Activez le curseur si vous souhaitez installer l'extension. Ensuite, vous verrez une invite pour installer l'extension.

enter image description here

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

enter image description here

Une fois sur Extensions installées onglet, vous pouvez mettre à niveau toute extension, désactiver et apporter des 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.

update button picture

Cliquez sur ce bouton pour mettre à jour. Vous obtiendrez une invite similaire à celle que vous obtenez lorsque vous avez installé l'extension pour demander l'autorisation d'installer l'extension. clique sur le Installer bouton (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 également ouvrir la fenêtre des paramètres d'extension à partir du site si l'extension en fournit un. Cliquez simplement sur l'icône représentant une petite clé. Une fenêtre de paramètres devrait apparaître comme indiqué dans la capture d'écran suivante.

bringing a settings window from extension site

Supprimer une extension

Vous pouvez également supprimer une extension du site à condition qu'elle ne soit pas fournie avec gnome-shell par défaut (ce qui les rend installées dans la zone système).

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

remove button for extensions


25
2018-01-19 09:20



Cela ne fonctionne donc pas sur Ubuntu 14.10 - abergmeier
Pour une fois, assurez-vous que vous utilisez Firefox et non chrome, une instance de gnome en cours d'exécution n'a pas été découverte sur chrome. J'utilise Ubuntu 14.04 Gnome 64Bit - ArunMKumar
peut confirmer que cela ne fonctionne pas sur Ubuntu 15.10. Un tout nouveau profil firefox aura l'extension ubuntu, l'extension itunes et le plugin h264. Rien d'autre. - gcb
Quelqu'un peut-il expliquer pourquoi une extension de navigateur est nécessaire pour installer les extensions Gnome? Il semble maladroit par opposition à quelque chose construit dans Gnome, mais peut-être que je manque quelque chose - pufferfish


Le site Web de GNOME comporte une section Extensions, actuellement en phase bêta. Il promet une installation facile des extensions et la gestion des installées, via une interface Web.

Le site est accessible ici: https://extensions.gnome.org/


8
2017-12-02 18:33



C'est vraiment génial! Pas d'installation, propre et simple, en glissant un bouton - LnxSlck
Je n'ai pas trouvé le bouton coulissant pour les extensions non installées - MhdSyrwan
@MhdSyrwan vous avez besoin de Firefox avec un installé Gnome addon pour pouvoir voir ce bouton. - tftd
howto.wired.com/wiki/Manually_Install_Gnome_3_Extensions - j0h
En fait, je suis sur une nouvelle installation de Ubuntu GNOME 14.04 et une installation en un clic depuis extensions.gnome.org ne fonctionne pas (aucun proxy, add-on et firefox ne sont fournis avec la distribution, peut-être que son problème de ~/.local racine). - cprn


Ubuntu 18.04 et ultérieur

Dans Ubuntu 18.04 et versions ultérieures, GNOME Shell Extensions peut être installé à partir de l'application Ubuntu Software. Effectuez une recherche par mot-clé pour les "extensions de shell GNOME" et le type d'application que vous recherchez.

Vous pouvez également effectuer une recherche à partir de toutes les extensions de shell GNOME disponibles sur le même écran en appuyant sur le bouton Modules complémentaires situé sous le Catégories titre. Dans l'écran Modules complémentaires, sélectionnez le Extensions Shell onglet et vous verrez toutes les extensions de shell GNOME disponibles.

enter image description here

 

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

  • En cliquant sur le Site Internet bouton ouvrira son site Web dans un navigateur Web où vous pourrez voir une image de plus grande taille de la même capture d'écran qui a été affichée dans le logiciel Ubuntu.

  • En cliquant sur le Installer le bouton installera l'extension.


6
2018-04-28 16:24





  1. Aller à la page d'extensions gnome-shell utilisant un navigateur pris en charge (qui n'est pas totalement sécurisé contre tout ce qui tourne sur ou provenant du Web).

    Comme le gnome-browser de stock ou une installation propre de Firefox devrait également fonctionner. J'avais parfois des problèmes pour installer des extensions avec Google Chrome ou Midori.

  2. Filtrer par "Supporté par: Version actuelle"

  3. Cliquez sur le bouton à bascule de l'extension que vous voulez

  4. Une question "install this extension" devrait apparaître. Confirmer.

  5. Dans de rares cas, vous devez recharger le gnome-shell pour faire fonctionner une nouvelle extension sans problème (RARE!) - ouvrez le dialogue d’exécution de gnome-shell (Alt+F2) - si pas réglé Alt + F2 n'affiche pas l'invite de commande d'exécution dans le shell GNOME), tapez r et frapper Entrer.


5
2018-01-20 09:45





Je suis devenu fou en essayant de faire cela sur une installation propre de Ubuntu Gnome 14.04. J'ai trouvé la solution.

  1. Ouvrez Firefix.
  2. Aller aux addons (about:addons).
  3. Sous les plugins, vous verrez l'intégration de Gnome Shell.
  4. Sélectionnez cette option et changez les options d'activation pour ALWAYS ACTIVATE.

J'ai ensuite fermé firefox et ensuite rouvert. Quand je suis retourné à http://addons.mozilla.org. J'ai pu installer les extensions (le curseur est resté en position. L’extension s’est retrouvée dans l’outil tweak par la suite. J'espère que ça aide. J'ai lu tellement de réponses et essayé tellement de choses. Je suis juste content que Je l'ai compris et je suis capable de le partager avec tout le monde. Voici une liste rapide des versions afin que vous puissiez vérifier par rapport aux vôtres.

Installation propre d'Ubuntu Gnome 14.04 Firefox 34. Version installée lors de l'installation.


2
2017-12-06 07:17





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

Cette méthode peut présenter des problèmes:

  • Lorsque vous redémarrez le shell GNOME (Alt + F2,r) les extensions peuvent cesser de 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.


1
2018-05-01 21:34



Salut, j'ai ajouté un peu de monospacing dans votre réponse en utilisant des backticks autour des éléments en ligne et quatre espaces avant le devis de bloc. Je ne suis pas sûr de ce que le mot "actif" signifie dans ce contexte, donc je ne peux pas dire s'il est censé faire partie de la commande ou non. - Jeremy
Je ne vois pas comment cela pourrait aider "installer"une nouvelle extension! Vous ne pouvez activer / désactiver ou gérer que déjà installé extensions utilisant gnome-shell-extension-prefs. - pomsky


Oui, la fonctionnalité d'installation de l'extension est supprimée de GNOME Tweaks (depuis la version 3.26, celle dans Ubuntu 17.10 si je me souviens bien).

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) à ton ~/.local/share/gnome-shell/extensions/ annuaire. Puis reconnectez-vous (ou redémarrez le shell GNOME). L'extension devrait apparaître dans le (GNOME) Tweaks à présent. Activez-le à partir de là.


0
2018-04-28 11:23