Re: git pull fails to exit with non-zero status after fatal error
- From
Shawn O. Pearce <spearce@spearce.org>
- Date
- Mar 3, 2007, 21:23 UTC
- Message-ID
- <20070303212348.GA17796@spearce.org>
- In-Reply-To
- <Pine.LNX.4.63.0703032210010.22628@wbgn013.biozentrum.uni-wuerzburg.de>
Johannes Schindelin <Johannes.Schindelin@gmx.de> wrote:
Show 6 quoted lines
> 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. ;-)
For what its worth, I learned that only while hacking on git-merge. I think it is highly non-obvious.
-- Shawn.