On 2018-11-28 12:59:51 +0100, Vincent Lefevre wrote:
> Some git commands with a lot of output fail with a broken pipe when
> one quits the pager (without going to the end of the output).
>
> For instance, in zsh:
>
> cventin% setopt PRINT_EXIT_VALUE
> cventin% git log
> zsh: broken pipe git log
> cventin% echo $?
> 141
> cventin%
>
> This is annoying. And of course, I don't want to hide error messages
> by default, because this would hide *real* errors.
>
> The broken pipe is internally expected, thus should not be reported
> by git.
Just to be clear: this broken pipe should be discarded only when git
uses its builtin pager feature, not with a general pipe, where the
error may be important.
For instance,
$ { git log ; echo "Exit status: $?" >&2 } | true
should still output
Exit status: 141
like currently.
--
Vincent Lefèvre <vinc...@vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
