Comment installer et gérer les extensions GNOME Shell?

1. Allez sur la page des extensions gnome-shell en utilisant un navigateur pris en charge (qui n'est pas totalement sécurisé contre tout ce qui se passe sur le web).

   Comme le navigateur gnome de base ou une installation propre de Firefox devrait également fonctionner. J'ai parfois eu des problèmes d'installation d'extensions avec Google Chrome ou Midori.

2. Filtrer par "Pris en charge par : Version actuelle"

3. Cliquez sur le bouton bascule de l'extension souhaitée

4. Une question "installer cette extension" devrait apparaître. Confirmer.

5. Dans de rares cas, vous devrez recharger gnome-shell pour qu'une nouvelle extension fonctionne sans problème (RARE !) - ouvrez la boîte de dialogue d'exécution gnome-shell (Alt+F2) - si ce n'est pas défini, vérifiez Alt+F2 doesn't display the Run Command Prompt in GNOME Shell), tapez r et appuyez sur Entrée.

J'ai perdu la tête en essayant de faire fonctionner cela sur une installation propre d'Ubuntu Gnome 14.04. J'ai trouvé la solution.

1. Ouvrez Firefox.
2. Allez dans les modules complémentaires (about:addons).
3. Sous les plugins, vous verrez l'intégration de Gnome Shell.
4. Sélectionnez cela et changez les options d'activation en TOUJOURS ACTIVER.

J'ai ensuite fermé Firefox et l'ai rouvert. Quand je suis retourné sur http://addons.mozilla.org, j'ai pu installer les extensions (Le curseur est resté en position activée. L'extension est ensuite apparue dans l'outil de personnalisation. J'espère que cela vous aidera. J'ai lu tellement de réponses et essayé tellement de choses. Je suis juste heureux d'avoir trouvé la solution et de pouvoir la partager avec tout le monde. Voici une liste rapide des versions pour que vous puissiez vérifier les vôtres.

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

Vous pouvez directement exécuter l'application de sélection d'extension avec la commande suivante :

sudo gnome-shell-extension-prefs

activez l'extension, puis appuyez sur Alt + F2, entrez r sur la ligne de commande et appuyez sur Entrée.

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.