diff options
author | Daniel Stenberg <daniel@haxx.se> | 2003-10-30 09:08:16 +0000 |
---|---|---|
committer | Daniel Stenberg <daniel@haxx.se> | 2003-10-30 09:08:16 +0000 |
commit | fb26b2bd98eb4fb29dc644fdcc74da1ec60c3708 (patch) | |
tree | 538fbde3102ff7b72e38e1402bb7a04bc1db5989 /docs | |
parent | 5554f1ccba826ef54d99fe2fa9ef1a77ae12b441 (diff) |
curl --head now reports info "headers" on file:// URLs as well
Diffstat (limited to 'docs')
-rw-r--r-- | docs/curl.1 | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/docs/curl.1 b/docs/curl.1 index 2a0cbac76..e4e8efaf1 100644 --- a/docs/curl.1 +++ b/docs/curl.1 @@ -367,10 +367,11 @@ name, IP address or host name. An example could look like: If this option is used several times, the last one will be used. .IP "-I/--head" -(HTTP/FTP) +(HTTP/FTP/FILE) Fetch the HTTP-header only! HTTP-servers feature the command HEAD which this uses to get nothing but the header of a document. When used -on a FTP file, curl displays the file size only. +on a FTP or FILE file, curl displays the file size and last modification +time only. If this option is used twice, the second will again disable header only. .IP "-j/--junk-session-cookies" |