diff options
author | David Aguilar <davvid@gmail.com> | 2014-10-15 21:45:14 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2014-10-16 11:58:11 -0700 |
commit | b12d04503b0aba1f2d68b164b348cbf94bbe570b (patch) | |
tree | 375ed9642619d3b2715030f90484fffdfc916ca3 /Documentation | |
parent | 3c2dc76f015b4d52ef02a08c59a4546d00b475e1 (diff) | |
download | git-b12d04503b0aba1f2d68b164b348cbf94bbe570b.tar.gz git-b12d04503b0aba1f2d68b164b348cbf94bbe570b.tar.xz |
mergetools/meld: make usage of `--output` configurable and more robust
Older versions of meld listed --output in `meld --help`.
Newer versions only mention `meld [OPTIONS...]`.
Improve the checks to catch these newer versions.
Add a `mergetool.meld.hasOutput` configuration to allow
overriding the heuristic.
Reported-by: Andrey Novoseltsev <novoselt@gmail.com>
Helped-by: Junio C Hamano <gitster@pobox.com>
Signed-off-by: David Aguilar <davvid@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation')
-rw-r--r-- | Documentation/config.txt | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/Documentation/config.txt b/Documentation/config.txt index c55c22ab7..382e12c69 100644 --- a/Documentation/config.txt +++ b/Documentation/config.txt @@ -1754,6 +1754,15 @@ mergetool.<tool>.trustExitCode:: if the file has been updated, otherwise the user is prompted to indicate the success of the merge. +mergetool.meld.hasOutput:: + Older versions of `meld` do not support the `--output` option. + Git will attempt to detect whether `meld` supports `--output` + by inspecting the output of `meld --help`. Configuring + `mergetool.meld.hasOutput` will make Git skip these checks and + use the configured value instead. Setting `mergetool.meld.hasOutput` + to `true` tells Git to unconditionally use the `--output` option, + and `false` avoids using `--output`. + mergetool.keepBackup:: After performing a merge, the original file with conflict markers can be saved as a file with a `.orig` extension. If this variable |