Bei einer neuen Ubuntu-Installation (12.04, 64-Bit) habe ich nach der Installation von gnome-shell versucht, einige Erweiterungen von extensions.gnome.org zu installieren, aber keine Ergebnisse erzielt. Ich habe es mit Firefox und Chromium versucht und habe das gleiche Problem.
Öffnen Sie eine beliebige Erweiterungsseite auf extensions.gnome.org.
Nebenstelle auf "ON" schalten. Stimmen Sie der Bestätigung der Installation zu.
Nichts passiert und nichts wurde installiert (
.local/share/gnome-shell/extensions
ist leer).
Ich habe .xsession-Fehler, Firefoxs Javascript-Konsole, Gnome-Shell-Konsolenfehler (Alt-F2 + Spiegel) überprüft. Es gibt keine Spur von Fehlern.