diff options
| author | Junio C Hamano <gitster@pobox.com> | 2009-01-01 05:48:40 -0800 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2009-01-01 05:48:40 -0800 |
| commit | 3827210b91a7d363ea67bcf0b9c6ee1c91d2f3c5 (patch) | |
| tree | d142cd6449c93a48abd928ddeb809d23c952d08f /Documentation/config.txt | |
| parent | 42e778bfec68d251b777c6b8444cda4bc51332be (diff) | |
| parent | 162eba8b43a0e665c8e3439191981412815cc6db (diff) | |
| download | git-3827210b91a7d363ea67bcf0b9c6ee1c91d2f3c5.tar.gz | |
Merge branch 'cb/mergetool'
* cb/mergetool:
mergetool: Don't keep temporary merge files unless told to
mergetool: Add prompt to continue after failing to merge a file
Add -y/--no-prompt option to mergetool
Fix some tab/space inconsistencies in git-mergetool.sh
Diffstat (limited to 'Documentation/config.txt')
| -rw-r--r-- | Documentation/config.txt | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/Documentation/config.txt b/Documentation/config.txt index 52786c7df5..7408bb2d34 100644 --- a/Documentation/config.txt +++ b/Documentation/config.txt @@ -1044,6 +1044,16 @@ mergetool.keepBackup:: is set to `false` then this file is not preserved. Defaults to `true` (i.e. keep the backup files). +mergetool.keepTemporaries:: + When invoking a custom merge tool, git uses a set of temporary + files to pass to the tool. If the tool returns an error and this + variable is set to `true`, then these temporary files will be + preserved, otherwise they will be removed after the tool has + exited. Defaults to `false`. + +mergetool.prompt:: + Prompt before each invocation of the merge resolution program. + pack.window:: The size of the window used by linkgit:git-pack-objects[1] when no window size is given on the command line. Defaults to 10. |