[plug] Configuring wget using .wgetrc

[W.Kenworthy]

or http_proxy="http://proxy:8080" wget http://site/

all on one line sets the environment for that command only


Billk

On Wed, 2008-06-11 at 11:11 +0800, Kirk Turner wrote:
> > 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
> _______________________________________________
> PLUG discussion list: plug at plug.org.au
> http://www.plug.org.au/mailman/listinfo/plug
> Committee e-mail: committee at plug.linux.org.au