Re: git pull fails to exit with non-zero status after fatal error

From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Mar 3, 2007, 22:49 UTC
Message-ID: <Pine.LNX.4.63.0703032348570.22628@wbgn013.biozentrum.uni-wuerzburg.de>
In-Reply-To: <20070303212348.GA17796@spearce.org>

Hi,

On Sat, 3 Mar 2007, Shawn O. Pearce wrote:

Show 10 quoted lines

> Johannes Schindelin <Johannes.Schindelin@gmx.de> wrote:
> > On Sat, 3 Mar 2007, Junio C Hamano wrote:
> > 
> > > -	finish "$new_head" "Fast forward"
> > > +	finish "$new_head" "Fast forward" || exit
> > 
> > Doesn't "exit" default to "exit 0"?
> 
> No, it carries the exit status of the prior failed command if the
> prior command failed.  ;-)

You live and learn, live and learn...

Thanks, Dscho