Junio C Hamano wrote:
> Thomas Rast <trast@xxxxxxxxxxxxxxx> writes:
>
> > + if test ! -z "$GIT_PS1_EXPENSIVE"; then
> > + git update-index --refresh >/dev/null 2>&1 || w="*"
>
> This makes the feature unavailable for people who care about the stat
> dirtiness and explicitly set diff.autorefreshindex to false, doesn't it?
True, and I admit I didn't know there was an option to change that.
OTOH git-diff-files doesn't normally update the index even if the
option is set. Should I ask 'git diff --exit-code --raw' or some such
instead?
(Why would people want to keep the stat info dirty even though there
may not have been any changes?)
--
Thomas Rast
trast@{inf,student}.ethz.ch
Attachment:
signature.asc
Description: This is a digitally signed message part.
