[plug] Configuring wget using .wgetrc

[Kirk Turner]

> In the case of an external website, the return (from auto-proxy) is:
>
> "PROXY proxy:8080"

> But I don't know how to feed that info into wget since wget seems to be
> just looking for
>    --proxy-user=USER
> and
>    --proxy-password=PASS

Its been a while since I used wget with a proxy and bringing up the
man for wget has a nice and interesting line under the --no-proxy
option:
"       --no-proxy
           Don't use proxies, even if the appropriate *_proxy
environment variable is defined.

           For more information about the use of proxies with Wget,
"

This is on Ubuntu Fiesty at least... so not a lot of useful
information to be found...

However this is indicating that you can use the standard proxy
environment variables - in your case the PROXY proxy:8080 should be
changed into an:

export http_proxy="http://proxy:8080"

and then you can run wget using the proxy.

Note there is also an ftp_proxy if you need to use it. Have a google
for http_proxy for more information.

Kirk