diff options
| author | Daniel Stenberg <daniel@haxx.se> | 2018-03-04 19:57:43 +0100 |
|---|---|---|
| committer | Daniel Stenberg <daniel@haxx.se> | 2018-03-04 19:57:43 +0100 |
| commit | c74521628bf5c7172b2df06dcc7db6ac2fd6bcb3 (patch) | |
| tree | 531044283eab2dfb7ee91bfc73891a7d52fad7f5 | |
| parent | 4d0b1e688766be51d5d349d11fd579997e0582d7 (diff) | |
| download | curl-c74521628bf5c7172b2df06dcc7db6ac2fd6bcb3.tar.gz | |
curl.1: mention how to add numerical IP addresses in NO_PROXY
| -rw-r--r-- | docs/cmdline-opts/page-footer | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/docs/cmdline-opts/page-footer b/docs/cmdline-opts/page-footer index 6006f4649..1ca47ae02 100644 --- a/docs/cmdline-opts/page-footer +++ b/docs/cmdline-opts/page-footer @@ -24,14 +24,17 @@ Sets the proxy server to use if no protocol-specific proxy is set. list of host names that shouldn't go through any proxy. If set to a asterisk \&'*' only, it matches all hosts. -Since 7.53.0, this environment variable disable the proxy even if specify ---proxy option. That is +This environment variable disables use of the proxy even when specified with +the --proxy option. That is .B NO_PROXY=direct.example.com curl -x http://proxy.example.com .B http://direct.example.com accesses the target URL directly, and .B NO_PROXY=direct.example.com curl -x http://proxy.example.com .B http://somewhere.example.com -accesses the target URL through proxy. +accesses the target URL through the proxy. + +The list of host names can also be include numerical IP addresses, and IPv6 +versions should then be given without enclosing brackets. .SH "PROXY PROTOCOL PREFIXES" Since curl version 7.21.7, the proxy string may be specified with a |