diff options
author | Daniel Stenberg <daniel@haxx.se> | 2016-11-16 14:20:36 +0100 |
---|---|---|
committer | Daniel Stenberg <daniel@haxx.se> | 2016-11-16 15:15:57 +0100 |
commit | 342aa4797edfabba78755e798d23a5b6d288d50b (patch) | |
tree | c9607e88e05cef2f5084f6428151c5de52ee2fc4 /docs/cmdline-opts/noproxy.d | |
parent | c3c1e9618513d245861c35ec0c563ab71ce892bb (diff) |
cmdline-docs: more conversion
Diffstat (limited to 'docs/cmdline-opts/noproxy.d')
-rw-r--r-- | docs/cmdline-opts/noproxy.d | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/docs/cmdline-opts/noproxy.d b/docs/cmdline-opts/noproxy.d new file mode 100644 index 000000000..4f06d9f5d --- /dev/null +++ b/docs/cmdline-opts/noproxy.d @@ -0,0 +1,11 @@ +Long: noproxy +Arg: <no-proxy-list> +Help: List of hosts which do not use proxy +Added: 7.19.4 +--- +Comma-separated list of hosts which do not use a proxy, if one is specified. +The only wildcard is a single * character, which matches all hosts, and +effectively disables the proxy. Each name in this list is matched as either +a domain which contains the hostname, or the hostname itself. For example, +local.com would match local.com, local.com:80, and www.local.com, but not +www.notlocal.com. |