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/Zsh')
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