Comment installer et gérer les extensions GNOME Shell?

63

Comment installer les extensions GNOME Shell?

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

    
posée hhlp 04.11.2011 - 19:11
la source

6 réponses

32

Pour installer une extension, vous devez avoir installé gnome-tweak-tool , celui-ci doit être installé par défaut sur la plupart des versions GNOME Ubuntu modernes. Toutefois, 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 gnome-tweak-tool , certaines extensions pré-installées mais non pré-activées, vous pouvez les afficher en ouvrant 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 dans la section Extensions .

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é, donc les plug-ins tels que le plug-in GNOME Shell Integration et Java, etc. ne fonctionneront pas. Donc, si vous souhaitez installer une nouvelle extension qui n’est pas encore 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 plug-in Firefox de GNOME Shell Integration .

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 depuis ici .

En dessous de la version 52

Si vous souhaitez installer une nouvelle extension qui n'est pas déjà préinstallée, cliquez ici dans Firefox et assurez-vous que GNOME Shell Integration plugin est activé. Donc, soit allez ici about:addons (entrez ceci dans la barre d'URL et appuyez sur ENTER ), allez dans la section Plugins et assurez-vous que le plugin GNOME Shell Integration est défini sur Always Activate , ou faites la même chose mais placez-la à Ask to Activate et, lorsque vous visitez le site Web des extensions GNOME, cliquez sur Allow Now à chaque fois ou appuyez sur Allow and Remember (vous devrez cliquer sur la petite brique lego pour obtenir ceci) 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 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 plug-in d'intégration GNOME Shell 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 depuis ici .

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

Epiphany (GNOME Web)

Le navigateur natif GNOME "Web" Epiphany prend toujours en charge les plug-ins NPAPI et possède le plug-in d'extensions 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 être installé avec:

sudo apt-get install epiphany-browser

Installation d’une nouvelle extension

Les extensions les plus populaires seront affichées sur la page initiale, vous pouvez toutefois choisir de trier le contenu de la page et les résultats de la recherche en utilisant les filtres Name , Recent et Downloads . Vous pouvez également choisir d'afficher les résultats pour All versions , par opposition au Current version que vous utilisez (tenter d'installer des extensions non compatibles avec votre version de GNOME entraînera un échec silencieux - l'opération ne sera pas réussie mais ne pas en être averti de quelque façon que ce soit - bien que les extensions non compatibles soient légèrement grisées dans la liste des résultats, vous pourrez toujours 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 correspondants (j'ai mis une zone 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 la sécurité des extensions vous préoccupe, vous devez lire cette information sur le processus de révision - allez à la section Are GNOME Shell extensions safe? - les extensions doivent passer avant d'être acceptées sur le site Web, cliquez sur son nom dans les résultats de la recherche, puis une fois vous êtes sur sa page, cliquez sur le curseur ON/OFF à côté de son nom (comme indiqué ci-dessus dans gnome-tweak-tool ), vous obtiendrez une boîte de dialogue vous demandant si vous souhaitez installer cette extension, appuyez sur Install , si vous avez changé d'avis, appuyez sur Cancel .

Si vous n'obtenez pas une telle boîte de 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 depuis le site Web, vous devrez redémarrer gnome-tweak-tool pour qu’il enregistre les modifications.

Gestion des extensions

Pour activer une extension, cliquez sur le curseur ON/OFF à côté de son nom et de sa description afin que son état passe de OFF à ON (et vice-versa pour le désactiver).
Vous verrez que les extensions préinstallées ont un bouton Remove grisé à côté de chacune d'elles, ceci est grisé 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 des 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 paramètres devrait être lancée).

La vue en ligne vous permet également de faire de même (même si cela vous permet également de supprimer / désinstaller des extensions préinstallées, Donc, soyez prudent - bien sûr, vous pourrez les réinstaller à nouveau.

Mise à jour des extensions

gnome-tweak-tool ne prend pas en charge la mise à niveau des extensions via son interface (même si à l’avenir, l’ensemble de l’interface Web doit être supprimée et que tout doit être fait via gnome-software ), si une nouvelle version de une extension sort et vous souhaitez la mettre à jour en allant sur ici et en cliquant sur le bouton de mise à niveau situé à côté de ON/OFF slider (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 cette extension, en appuyant sur Upgrade , vous la mettrez à jour, mais si vous appuyez sur le bouton Cancel , vous pourrez la réinstaller ou même la désinstaller. réactiver à nouveau.

Trucs et astuces:

Un clic droit sur le bouton Activities Overview (ou Activities comme on l'appelle normalement 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 +.

    
réponse donnée user364819 14.04.2016 - 15:50
la source
25

Les extensions Gnome-shell peuvent être installées à partir de la page Web des extensions Gnome-shell. Le site est: lien

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

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.

Les extensions installées peuvent être gérées à partir de lien

Une fois que vous êtes sur l’onglet Extensions installées , vous pouvez mettre à niveau toute extension, la désactiver et y accéder 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 obtiendrez une invite similaire à celle que vous obtenez lorsque vous avez installé l'extension pour demander l'autorisation d'installer l'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 également afficher 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.

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

Cliquez sur la croix rouge pour désinstaller l’extension.

    
réponse donnée M.Tarun 19.01.2014 - 10:20
la source
8

Le site Web de GNOME comporte une section Extensions qui est 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: lien

    
réponse donnée Christopher Kyle Horton 02.12.2011 - 19:33
la source
5
  1. Accédez à la page d’extensions gnome-shell en utilisant un navigateur pris en charge (qui n’est pas totalement sécurisé). tout ce qui court ou vient 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 "Pris en charge par: Version actuelle"

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

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

  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 ) - sinon, cochez la case Alt + F2 n'affiche pas l'invite de commande d'exécution dans le shell GNOME ), tapez r et tapez sur Enter .

réponse donnée timo 20.01.2014 - 10:45
la source
2

Je suis devenu fou en essayant de faire en sorte que cela fonctionne 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 puis rouvert. Lorsque je suis revenu à lien . 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 le vôtre.

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

    
réponse donnée TJSummers51L 06.12.2014 - 08:17
la source
1

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 GNOME Shell disponibles sur le même écran en appuyant sur le bouton Modules complémentaires situé sous l’intitulé Catégories . Dans l'écran des modules complémentaires, sélectionnez l'onglet Extensions de shell et vous verrez toutes les extensions de shell GNOME disponibles.



  • Cliquez sur une extension GNOME Shell dans la liste des résultats de recherche pour afficher son écran qui affichera souvent des captures d'écran.

  • Cliquer sur le bouton Website 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 Ubuntu Software.

  • Cliquez sur le bouton Install pour installer l’extension.

réponse donnée karel 27.04.2018 - 23:23
la source

Lire d'autres questions sur les étiquettes