On Sat, Sep 29, 2012 at 12:11:58AM +0200, Andreas Schwab wrote: > Jeff King <peff@xxxxxxxx> 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 } Thanks. I don't speak tcl at all, but your version makes much more sense. -Peff -- 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