Re: git status always modifies index?

From: Jonathan Nieder <jrnieder@gmail.com>
Date: Nov 22, 2017, 21:56 UTC
Message-ID: <20171122215635.GE11671@aiede.mtv.corp.google.com>
In-Reply-To: <20171122211729.GA2854@sigill>

Jeff King wrote:

> On Wed, Nov 22, 2017 at 12:27:20PM -0800, Jonathan Nieder wrote:

Show 5 quoted lines

>> That said, I wonder if this use case is an illustration that a name
>> like --no-lock-index (as was used in Git for Windows when this feature
>> first appeared) or --no-refresh-on-disk-index (sorry, I am terrible at
>> coming up with option names) would make the feature easier to
>> discover.

[...]

>         Or maybe just living with the minor philosophical rough edges,
> since it seems OK in practice.

To be clear, my concern is not philosophical but practical: I'm saying if it's a "git status" option (or at least shows up in the "git status" manpage) and it is memorably about $GIT_DIR/index (at least mentions that in its description) then it is more likely to help people.

Thanks, Jonathan