diff options
author | Johannes Schindelin <Johannes.Schindelin@gmx.de> | 2007-06-30 18:47:07 +0100 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2007-07-03 19:05:55 -0700 |
commit | 72909befaa043fcc975115bb56d25a6e7dc65fb6 (patch) | |
tree | 6c0373991554e7fe72e9ec201be3a707ddb67e24 /Documentation | |
parent | Document git-filter-branch (diff) | |
download | tgif-72909befaa043fcc975115bb56d25a6e7dc65fb6.tar.xz |
Add diff-option --ext-diff
To prevent funky games with external diff engines, git-log and
friends prevent external diff engines from being called. That makes
sense in the context of git-format-patch or git-rebase.
However, for "git log -p" it is not so nice to get the message
that binary files cannot be compared, while "git diff" has no
problems with them, if you provided an external diff driver.
With this patch, "git log --ext-diff -p" will do what you expect,
and the option "--no-ext-diff" can be used to override that
setting.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation')
-rw-r--r-- | Documentation/diff-options.txt | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/Documentation/diff-options.txt b/Documentation/diff-options.txt index 0f07c9c4a8..3d2b9d0a06 100644 --- a/Documentation/diff-options.txt +++ b/Documentation/diff-options.txt @@ -168,5 +168,13 @@ --quiet:: Disable all output of the program. Implies --exit-code. +--ext-diff:: + Allow an external diff helper to be executed. If you set an + external diff driver with gitlink:gitattributes(5), you need + to use this option with gitlink:git-log(1) and friends. + +--no-ext-diff:: + Disallow external diff drivers. + For more detailed explanation on these common options, see also link:diffcore.html[diffcore documentation]. |