Investigating further, I think the bug is in gnome-session which have had some changes to set the http_proxy environment variable according to the gconf settings - this however interferes with gnome-terminal's idea that if the environment variable is set it should obey this.
The root of the problem is that gnome-session assumes the proxy settings to be constant during the session (because the environment is inherited by child processes, and cannot be changed), which is not true. Maybe these changes should be backed out of gnome-session, as gnome-terminal already handles it? Also see gnome bug #84315 -- http_proxy defined incorrectly https://launchpad.net/bugs/78098 -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
