From: Andreas Schwab <schwab@linux-m68k.org>
Date: Fri, 28 Sep 2012 22:11:58 GMT
Subject: Re: [PATCH] gitk: refresh the index before running diff-files
Message-ID: <m24nmh4x1t.fsf@igel.home>
In-Reply-To: <20120928205054.GA5985@sigill.intra.peff.net>

Jeff King <peff@peff.net> writes:

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

I think the usual idiom for ignoring errors is to use catch around exec,
avoiding the extra shell wrapper:

        catch { exec git update-index --refresh }

Andreas.

-- 
Andreas Schwab, schwab@linux-m68k.org
GPG Key fingerprint = 58CA 54C7 6D53 942B 1756  01D3 44D5 214B 8276 4ED5
"And now for something completely different."