[plug] Configuring wget using .wgetrc
billk at iinet.net.au
Wed Jun 11 11:26:56 WST 2008
or http_proxy="http://proxy:8080" wget http://site/
all on one line sets the environment for that command only
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
> " --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.
> PLUG discussion list: plug at plug.org.au
> Committee e-mail: committee at plug.linux.org.au
More information about the plug