I was referring to both the environment and the GNOME proxy settings; I'm not sure which was being used in this case, as I have both set.
-- Should not use global proxy settings https://launchpad.net/bugs/52801 -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
