Re: [Bug-wget] wget suggestion

[Giuseppe Scrivano]

Hi Hrvoje,

Hrvoje Niksic <address@hidden> 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