Mitra <[EMAIL PROTECTED]> writes:

> The wget man page reports
>
>         --proxy=on/off
>         Turn proxy support on or off.  The proxy is on by
>         default if the appropriate environmental variable is
>         defined.
>
> Which is of course incomplete as it doesn't say WHAT the appropriate
> environmental variable is!

Thanks for the report.  Note that the real Wget documentation is in
Info format.  The Info manual names the proxy environment variables in
the "Proxies" node.

Reply via email to