"Wincent Colaiuta" <win@xxxxxxxxxxx> writes: > René Scharfe wrote: >> >> git diff passes the output through your pager by default, so you see the >> exit code of that instead of diff's. Set PAGER=cat or redirect the >> output to /dev/null to get rid of it. > > Ah, thanks very much René! I think I would call that a mistake. However, I don't see that fixing it would actually be useful: if a pager gets called, this means that git-diff might die with SIGPIPE (when the user quits the pager), and that in turn has pretty much no meaning. So one really needs to redirect the output, anyway. -- David Kastrup, Kriemhildstr. 15, 44793 Bochum - 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
