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é pour tout ce qui tourne sur le web).

   Comme par exemple le navigateur gnome de base ou une installation propre de Firefox devraient également fonctionner. J'ai parfois eu des problèmes pour installer des extensions en utilisant Google Chrome ou Midori.

2. Filtrez par "Supported by: Current Version"

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

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

5. Dans de rares cas, vous devez recharger gnome-shell pour faire fonctionner une nouvelle extension sans problèmes (RARE!) - ouvrez la boîte de dialogue d'exécution de gnome-shell (Alt+F2) - si ce n'est pas configuré, 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 extensions (about:addons).
3. Sous les plugins, vous verrez Gnome Shell Integration.
4. Sélectionnez-le et changez les options d'activation à TOUJOURS ACTIVER.

J'ai ensuite fermé Firefox puis l'ai rouvert. Lorsque 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 alors 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 content 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 par rapport aux vôtres.

Installation propre 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 l'extension, puis appuyez sur Alt + F2, dans la ligne de commande entrez r 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.