Sur une nouvelle installation d'Ubuntu (12.04, 64 bits), après avoir installé gnome-shell, j'ai essayé d'installer certaines extensions de extensions.gnome.org mais je n'ai obtenu aucun résultat. J'ai essayé avec Firefox et Chromium et j'ai le même problème.
-
Ouvrez n'importe quelle page d'extension sur extensions.gnome.org.
-
Basculer l'extension sur "ON". Accepter la confirmation de l'installation.
-
Rien ne se passe et rien n'a été installé (
.local/share/gnome-shell/extensionsest vide).
J'ai vérifié les erreurs .xsession, la console javascript de Firefox, les erreurs de la console gnome-shell (Alt-F2 + miroir). Il n'y a aucune trace d'erreur.
Réponse acceptée :
J'ai moi-même eu un problème similaire et j'ai essayé de réinitialiser les paramètres de GNOME et cela a fonctionné pour moi. Après avoir réinitialisé les paramètres de GNOME, essayez de vous déconnecter et de vous reconnecter (et pour être sûr, essayez également de redémarrer) et maintenant, vous devriez pouvoir installer les extensions GNOME.
- Comment réinitialiser GNOME aux valeurs par défaut ?