Re: [PATCH 0/1] difftool: --no-index is incompatible with --dir-diff

2019-05-09 Thread Junio C Hamano
"Johannes Schindelin via GitGitGadget" writes: > ... it does not even make sense to combine those two options. The > --dir-diff option exists to enable diff'ing subdirectories of a worktree > while pretending that untracked and ignored files in them do not even exist. Hmph. So there is no poin

[PATCH 0/1] difftool: --no-index is incompatible with --dir-diff

2019-05-08 Thread Johannes Schindelin via GitGitGadget
While debugging why a straight-forward backport of the js/difftool-no-index branch onto Git for Windows' master does not work as expected (spoiler: it's due to git diff --no-index now implying --ext-diff, a change that is not yet in Git for Windows' master), I ran into quite a few segmentation fau