luo980/curl
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

cmdline-opts/page-header: clarify stronger that !opt == URL

Browse Source 
Everything provided on the command line that is not an option (or an
argument to an option) is treated as a URL.

Closes #11734
This commit is contained in:
Daniel Stenberg 2023-08-25 16:44:20 +02:00
parent 1d2f41a8a3
commit a722ce71a3
No known key found for this signature in database
GPG Key ID: 5CC908FDB71E12C2
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
docs/cmdline-opts/page-header
View File

@ -60,6 +60,9 @@ separate curl runs.
Provide an IPv6 zone id in the URL with an escaped percentage sign. Like in
"http://[fe80::3%25eth0]/"
Everything provided on the command line that is not a command line option or
its argument, curl assumes is a URL and treats it as such.
.SH GLOBBING
You can specify multiple URLs or parts of URLs by writing lists within braces
or ranges within brackets. We call this "globbing".
@ -230,7 +233,8 @@ The online version of this man page is always showing the latest incarnation:
https://curl.se/docs/manpage.html
.SH OPTIONS
Options start with one or two dashes. Many of the options require an
additional value next to them.
additional value next to them. If provided text does not start with a dash, it
is presumed to be and treated as a URL.
The short "single-dash" form of the options, -d for example, may be used with
or without a space between it and its value, although a space is a recommended