Giuseppe Scrivano <gscriv...@gnu.org> writes: > Hrvoje Niksic <hnik...@xemacs.org> writes: > >> Giuseppe Scrivano <gscriv...@gnu.org> writes: >> >>> I have followed exactly your same steps under Fedora/Gnome and I get >>> this: >>> >>> $ env | grep -i proxy >>> NO_PROXY=localhost,127.0.0.0/8 >>> http_proxy=http://localhost:8080/ >> >> OK. Did you use the "apply settings system-wide" option? I didn't, in >> my testing - maybe that makes a difference. > > is it under System -> Preferences -> Network Proxy Preferences?
That is the location, except Ubuntu just calls it "Network proxy".