I'm seeing an issue, that if the proxy is set ("manual proxy configuration") on
bootup, changes to the proxy-settings are ignored.
If the proxy is set to "Direct internet connection" on bootup spawned terminals
obey the settings set at the time they are spawned (as expected).
Looking at the code for gnome-terminal I suspect that http_proxy is set as an
environment variable, in which case it will always use that.
This is reinforced, by booting with proxy on, starting a terminal, running
"unset http_proxy" and then spawning a new terminal with "gnome-terminal" -
this new terminal obeys the proxy settings from the control center.
Is this the same issue you are seeing?
--
http_proxy defined incorrectly
https://launchpad.net/bugs/78098
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
