Hi Hrvoje, Hrvoje Niksic <hnik...@xemacs.org> writes:
> That thread doesn't really address the question of Wget "using the > system proxy setting" that the OP is asking for. I've just tried the > following sequence of steps: > > 1. configure a proxy in (ubuntu/gnome) system->preferences->network > proxy > 2. start a new shell (a real new user could skip this step, but I wanted > to give a system a chance to maybe set up the env vars) > 3. attempt to use wget > 3a. attempt to use google chrome 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/ FTP_PROXY=ftp://localhost:8080/ ftp_proxy=ftp://localhost:8080/ all_proxy=socks://localhost:8080/ ALL_PROXY=socks://localhost:8080/ HTTPS_PROXY=https://localhost:8080/ https_proxy=https://localhost:8080/ no_proxy=localhost,127.0.0.0/8 HTTP_PROXY=http://localhost:8080/ So wget transparently to the user uses these values. I don't know why it doesn't work under Ubuntu (I don't have an Ubuntu installation around here to test it), but if doesn't work then it must be reported. Cheers, Giuseppe