From: Paul Mackerras <paulus@samba.org>
Date: Sun, 30 Sep 2012 00:05:27 GMT
Subject: Re: [PATCH] gitk: refresh the index before running diff-files
Message-ID: <20120930000527.GB4852@bloggs.ozlabs.ibm.com>
In-Reply-To: <20120928205054.GA5985@sigill.intra.peff.net>

On Fri, Sep 28, 2012 at 04:50:54PM -0400, Jeff King wrote:

> +proc refresh_index {} {
> +    global need_index_refresh
> +    if { $need_index_refresh } {
> +	exec sh -c "git update-index --refresh >/dev/null 2>&1 || true"
> +	set need_index_refresh false
> +    }
> +}

Unfortunately this will wait for the git update-index command to
complete, making the GUI unresponsive while it executes, and that can
take minutes on a large repository (e.g. the linux kernel) on a
machine with a slow disk and a cold disk cache.  We will need to make
the git update-index execute asynchronously.

Paul.