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.

To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majord...@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html

Reply via email to