diff options
| author | Junio C Hamano <gitster@pobox.com> | 2019-09-18 12:30:01 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2019-09-18 12:30:01 -0700 |
| commit | cb705397f111dc1fcb3e3fa844bfd5b3050dee38 (patch) | |
| tree | 7a08f9890ae401f03a3d3fb034c06f1be74e727e /gitcli.txt | |
| parent | 926cc052d4e49ae0c1af3703c87b0d1037d7fbac (diff) | |
| download | git-htmldocs-cb705397f111dc1fcb3e3fa844bfd5b3050dee38.tar.gz | |
Autogenerated HTML docs for v2.23.0-256-g4c861
Diffstat (limited to 'gitcli.txt')
| -rw-r--r-- | gitcli.txt | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gitcli.txt b/gitcli.txt index 1ed3ca33b..4b32876b6 100644 --- a/gitcli.txt +++ b/gitcli.txt @@ -37,6 +37,12 @@ arguments. Here are the rules: file called HEAD in your work tree, `git diff HEAD` is ambiguous, and you have to say either `git diff HEAD --` or `git diff -- HEAD` to disambiguate. + + * Because `--` disambiguates revisions and paths in some commands, it + cannot be used for those commands to separate options and revisions. + You can use `--end-of-options` for this (it also works for commands + that do not distinguish between revisions in paths, in which case it + is simply an alias for `--`). + When writing a script that is expected to handle random user-input, it is a good practice to make it explicit which arguments are which by placing |