Re: [PATCH] gitk: refresh the index before running diff-files
- From
Paul Mackerras <paulus@samba.org>
- Date
- Sep 30, 2012, 00:05 UTC
- 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:
Show 7 quoted lines
> +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.