diff options
author | Junio C Hamano <gitster@pobox.com> | 2012-10-10 14:56:52 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2012-10-10 14:56:52 -0700 |
commit | 011504234900df47b213da2492c6a4b81ea7171c (patch) | |
tree | 485273c303f8bc76fb6735ff3487afb562c71c57 | |
parent | 8d47dc7f2ddaa70b388fb3f739b9339de826a7fb (diff) | |
parent | 30462a7483c0acf77fab6364a3f505d16b650f21 (diff) | |
download | git-011504234900df47b213da2492c6a4b81ea7171c.tar.gz git-011504234900df47b213da2492c6a4b81ea7171c.tar.xz |
Merge branch 'jc/doc-long-options'
* jc/doc-long-options:
gitcli: parse-options lets you omit tail of long options
-rw-r--r-- | Documentation/gitcli.txt | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/Documentation/gitcli.txt b/Documentation/gitcli.txt index f6ba90c2d..3bc1500ed 100644 --- a/Documentation/gitcli.txt +++ b/Documentation/gitcli.txt @@ -93,7 +93,7 @@ ENHANCED OPTION PARSER From the git 1.5.4 series and further, many git commands (not all of them at the time of the writing though) come with an enhanced option parser. -Here is an exhaustive list of the facilities provided by this option parser. +Here is a list of the facilities provided by this option parser. Magic Options @@ -137,6 +137,16 @@ options. This means that you can for example use `git rm -rf` or `git clean -fdx`. +Abbreviating long options +~~~~~~~~~~~~~~~~~~~~~~~~~ +Commands that support the enhanced option parser accepts unique +prefix of a long option as if it is fully spelled out, but use this +with a caution. For example, `git commit --amen` behaves as if you +typed `git commit --amend`, but that is true only until a later version +of Git introduces another option that shares the same prefix, +e.g `git commit --amenity" option. + + Separating argument from the option ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ You can write the mandatory option parameter to an option as a separate |