Re: git-diff: unable to turn off diff.autorefreshindex with command line switch

2016-01-22 Thread Andrew Stewart
> On 21 Jan 2016, at 9:38 pm, Jeff King wrote: > But note that your whole test is going to be racy, and possibly depend > on the resolution of your filesystem's timestamps. Did you run your test > as a single script, where the initial index write and the `touch` may > happen in the same second? If

Re: git-diff: unable to turn off diff.autorefreshindex with command line switch

2016-01-21 Thread Jeff King
On Thu, Jan 21, 2016 at 10:29:49AM +, Andrew Stewart wrote: > # Now the strange behaviour: no output from the next command > $ git -c diff.autorefreshindex=0 diff --raw -- README I can't reproduce here (v2.7.0, Linux). But note that your whole test is going to be racy, and possibly depend on

git-diff: unable to turn off diff.autorefreshindex with command line switch

2016-01-21 Thread Andrew Stewart
Hello, I am seeing unexpected behaviour on my system with git-diff and stat-only changes: diff.autorefreshindex=0 only works when in a repo's config (./.git/config); it doesn't work via a -c switch. Conversely -c diff.autorefreshindex=1 does indeed override a 0 setting in the repo's config. #