From 52364258654418127d544d31b3c49b61019e2c7e Mon Sep 17 00:00:00 2001 From: Peter Stephenson Date: Sun, 6 Oct 2013 21:35:27 +0100 Subject: users:18023: Add PIPEFAIL option --- Doc/Zsh/options.yo | 14 ++++++++++++++ 1 file changed, 14 insertions(+) (limited to 'Doc') diff --git a/Doc/Zsh/options.yo b/Doc/Zsh/options.yo index ec862321e..71bddd570 100644 --- a/Doc/Zsh/options.yo +++ b/Doc/Zsh/options.yo @@ -1683,6 +1683,20 @@ Sequences of digits indicating a numeric base such as the `tt(08)' component in `tt(08#77)' are always interpreted as decimal, regardless of leading zeroes. ) +pindex(PIPE_FAIL) +pindex(NO_PIPE_FAIL) +pindex(PIPEFAIL) +pindex(NOPIPEFAIL) +cindex(exit status from pipeline) +cindex(status, on exit from pipeline) +cindex(pipeline, exit status from) +itme(tt(PIPE_FAIL))( +By default, when a pipeline exits the exit status recorded by the shell +and returned by the shell variable tt($?) reflects that of the +rightmost element of a pipeline. If this option is set, the exit status +instead reflects the status of the rightmost element of the pipeline +that was non-zero, or zero if all elements exited with zero status. +) pindex(SOURCE_TRACE) pindex(NO_SOURCE_TRACE) pindex(SOURCETRACE) -- cgit 1.4.1