Setting up a proxy in Gnome should properly configure the https_proxy environment variable. It should be visible in /etc/environment. Is that not the case?
Furthermore, I think this is likely to have been fixed in 12.10 with switching from libcurl to urllib to retrieve data for add-apt-repository; it would be very helpful if someone could try this out on a Live CD and behind a proxy to see if the behavior has improved.
Setting up a proxy in Gnome should properly configure the https_proxy environment variable. It should be visible in /etc/environment. Is that not the case?
Furthermore, I think this is likely to have been fixed in 12.10 with switching from libcurl to urllib to retrieve data for add-apt-repository; it would be very helpful if someone could try this out on a Live CD and behind a proxy to see if the behavior has improved.
Thanks!