mirrors/git
1
0
Fork 0
mirror of https://github.com/git/git.git synced 2024-11-01 23:07:55 +01:00
Code Activity

Merge branch 'jc/maint-abbrev-option-cli'

Browse source 
We did not document that many commands take unique prefix
abbreviations of long options (e.g. "--option" may be the only flag
that the command accepts that begin with "--opt", in which case you
can give "--opt") anywhere easy to find for new people.

* jc/maint-abbrev-option-cli:
  gitcli: describe abbreviation of long options
This commit is contained in:
Junio C Hamano 2012-08-22 11:53:25 -07:00
commit 210106b425
1 changed files with 8 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
Documentation/gitcli.txt
View file

@ -62,6 +62,14 @@ scripting git:
`git log -1 HEAD` but write `git log -1 HEAD --`; the former will not work
if you happen to have a file called `HEAD` in the work tree.
* many commands allow a long option "--option" to be abbreviated
only to their unique prefix (e.g. if there is no other option
whose name begins with "opt", you may be able to spell "--opt" to
invoke the "--option" flag), but you should fully spell them out
when writing your scripts; later versions of Git may introduce a
new option whose name shares the same prefix, e.g. "--optimize",
to make a short prefix that used to be unique no longer unique.
ENHANCED OPTION PARSER
----------------------