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…