Perché l'installazione delle estensioni della shell di Gnome da Extensions.gnome.org non riesce silenziosamente?

Su una nuova installazione di Ubuntu (12.04, 64 bit), dopo aver installato gnome-shell, ho provato a installare alcune estensioni da extensions.gnome.org ma non ho ottenuto alcun risultato. Ho provato con Firefox e Chromium e ho riscontrato lo stesso problema.

1. Apri qualsiasi pagina di estensione su extensions.gnome.org.

2. Passare l'estensione su "ON". Accetta la conferma dell'installazione.

3. Non succede nulla e non è stato installato nulla (.local/share/gnome-shell/extensions è vuoto).

Ho controllato .xsession-errors, la console javascript di Firefox, gli errori della console gnome-shell (Alt-F2 + specchio). Non c'è traccia di alcun errore.

Risposta accettata:

Io stesso ho avuto un problema simile e ho provato a ripristinare le impostazioni di GNOME e ha funzionato per me. Dopo aver ripristinato le impostazioni di GNOME, prova a disconnetterti e riconnetterti (e per sicurezza, prova anche a riavviare) e ora dovresti essere in grado di installare le estensioni di GNOME.

• Come faccio a ripristinare GNOME alle impostazioni predefinite?