diff options
| author |  Junio C Hamano <gitster@pobox.com> | 2013-12-27 14:58:13 -0800 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2013-12-27 14:58:13 -0800 |
| commit | 6904f9aa5ba7666cdb5390733225e123fe25526b (patch) | |
| tree | 7867aa393189903c8075c16abc35163f6de07243 /Documentation/git.txt | |
| parent | Merge branch 'jk/cat-file-regression-fix' (diff) | |
| parent | diff.c: fix some recent whitespace style violations (diff) | |
| download | tgif-6904f9aa5ba7666cdb5390733225e123fe25526b.tar.xz | |
Merge branch 'zk/difftool-counts'
Show the total number of paths and the number of paths shown so far
when "git difftool" prompts to launch an external diff tool, which
would give users some sense of progress.
* zk/difftool-counts:
diff.c: fix some recent whitespace style violations
difftool: display the number of files in the diff queue in the prompt
Diffstat (limited to 'Documentation/git.txt')
| -rw-r--r-- | Documentation/git.txt | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/Documentation/git.txt b/Documentation/git.txt index cc0e5e2bfe..aec372646f 100644 --- a/Documentation/git.txt +++ b/Documentation/git.txt @@ -807,6 +807,15 @@ temporary file --- it is removed when 'GIT_EXTERNAL_DIFF' exits. + For a path that is unmerged, 'GIT_EXTERNAL_DIFF' is called with 1 parameter, <path>. ++ +For each path 'GIT_EXTERNAL_DIFF' is called, two environment variables, +'GIT_DIFF_PATH_COUNTER' and 'GIT_DIFF_PATH_TOTAL' are set. + +'GIT_DIFF_PATH_COUNTER':: + A 1-based counter incremented by one for every path. + +'GIT_DIFF_PATH_TOTAL':: + The total number of paths. other ~~~~~ |