$http_proxy being set incorrectly by Network Proxy
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
GNOME Terminal |
Fix Released
|
Low
|
|||
gnome-terminal (Ubuntu) |
Fix Released
|
Low
|
Ubuntu Desktop Bugs |
Bug Description
If I have these settings in System -> Network Proxy, $http_proxy is being set incorrectly:
[NOT SELECTED] Direct internet connection
[NOT SELECTED] Manual proxy configuration
HTTP proxy: sunhill, port: 3128
[SELECTED] Automatic proxy configuration
Autoconfiguration URL: http://
Even though "Manual proxy configuration" is not selected and the text is greyed out as per the screenshot I will attach, the following happens when I open new terminals with those settings in place:
$ echo $http_proxy
http://
I know that $http_proxy can't be set from the autoconfiguration URL, but the GUI's use of radio buttons and greying out suggests that it should *not* fall back to the manual configuration to set $http_proxy, yet it does. (In my case this behaviour is not only counterintuitive but also an actual bug in and of itself -- that manual setting is left over from a previous network.)
Changed in gnome-terminal: | |
status: | Confirmed → Triaged |
Changed in gnome-terminal: | |
status: | New → Fix Released |
Changed in gnome-terminal: | |
importance: | Unknown → Low |
Screenshot to confirm settings