Installing gnome shell extensions from extensions.gnome.org fails silently
- by Pascal
On a fresh Ubuntu install (12.04, 64-bit), after installing gnome-shell, I've tried to install some extensions from extensions.gnome.org but got no result. I've tried with Firefox and Chromium and got the same issue.
Open any extension page on extensions.gnome.org.
Switch extension to "ON". Agree with confirmation about installation.
Nothing happens and nothing has been installed (.local/share/gnome-shell/extensions is empty).
I've checked .xsession-errors, Firefox's javascript console, gnome-shell console errors (Alt-F2 + looking glass). There isn't any trace of any error.