Su una nuova installazione di Ubuntu (12.04, 64-bit), dopo aver installato gnome-shell, ho provato ad installare alcune estensioni da extensions.gnome.org ma non ho ottenuto alcun risultato. Ho provato con Firefox e Chromium e ho avuto lo stesso problema.
Apri una pagina di estensione su extensions.gnome.org.
Passare l'estensione su "ON". Concordare con la conferma dell'installazione.
Non succede nulla e nulla è stato installato (
.local/share/gnome-shell/extensions
è vuoto).
Ho controllato gli errori .xsession, la console javascript di Firefox, gli errori della console gnome-shell (Alt-F2 + specchio). Non c'è traccia di alcun errore.