Bug#656578: Can't install extensions from gnome site (exception in /usr/share/gnome-shell/js/ui/extensionSystem.js)

[Gerfried Fuchs]

Version: 3.4.2-3

    Hi!

* Евгений 'Rush' Непомнящий <rush.zlo at gmail.com> [2012-09-11 09:57:21 CEST]:
> 1. This bug happened when gnome -> network settings -> proxy set to
> "manual", so if you set it to "none", all things will work as you
> expect.

 I can confirm that turning off the proxy setting *does* make the
installation from extensions.gnome.org work - the issue itself still
exists in current wheezy version of gnome-shell.

 Thanks for the workaround!
Rhonda
-- 
Fühlst du dich mutlos, fass endlich Mut, los      |
Fühlst du dich hilflos, geh raus und hilf, los    | Wir sind Helden
Fühlst du dich machtlos, geh raus und mach, los   | 23.55: Alles auf Anfang
Fühlst du dich haltlos, such Halt und lass los    |