Jeff King <peff@xxxxxxxx> writes: > 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. But isn't the redirection still needed? Otherwise the "Needs update" messages will go to the terminal, no? -- 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