Tuncer Ayaz <tuncer.ayaz@xxxxxxxxx> writes:
> On Mon, Jan 19, 2009 at 6:29 PM, Shawn O. Pearce <spearce@xxxxxxxxxxx> wrote:
>> Junio C Hamano <gitster@xxxxxxxxx> 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?
>>
>> Yup, and I'm one of those people who sets autorefresindex to false
>> in my ~/.gitconfig, usually before I even have user.{name,email} set.
>>
>> I do like the idea of what Thomas is trying to do here, but its
>> so bloody expensive to compute dirty state on every prompt in
>> some repositories that I'd shoot myself. E.g. WebKit is huge,
>
> I've been thinking about this and wondered
> whether implementing "status --mini" or
> "status --short" which prints "+?*" in wt-status.c
> could be made fast enough.
>
> Should we try to implement and profile this
> or do we know it will be slow beforehand?
I think I've seen a patch to do something like that, soon after Shawn
announced his repo tool.
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
