Sur une nouvelle installation d'Ubuntu (12.04, 64 bits), après avoir installé gnome-shell, j'ai essayé d'installer quelques extensions depuis extensions.gnome.org mais je n'ai eu aucun résultat. J'ai essayé avec Firefox et Chromium et j'ai eu le même problème.
Ouvrez n'importe quelle page d'extension sur extensions.gnome.org.
Réglez l'extension sur "ON". Acceptez la confirmation de l'installation.
Rien ne se passe et rien n'a été installé (
.local/share/gnome-shell/extensions
est 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.