GNOME Bugzilla – Bug 341998
gnome-terminal not made aware of http_proxy preference changes made post-login
Last modified: 2006-05-17 08:23:44 UTC
That bug has been opened on https://launchpad.net/distros/ubuntu/+source/gnome-terminal/+bug/40360 "If network proxy preferences are changed after logging in, "echo $http_proxy" returns nothing. In order for the setting to take effect, the user must logout and then login. After dong so, the variable is set appropriately."
This is a known problem with the panel I'd say.
You do not have to logout. You simply have to start a new terminal screen, be it a new window, new tab or whole new process. And there is no reasonable way to fix this, anyway... Feel free to reopen if you have one.
just curious, why is there no way to make an export when the gconf key is changed?
Because whatever process is running inside the terminal is another process, and it's not our business to mess with its env vars. One can of course attach to that process using pthread api and do a setenv, but that's a horrible bug as well as hack.
fair enough, will comment on the distro bug about that ;)