diff options
| -rw-r--r-- | AUTHORS | 1 | ||||
| -rw-r--r-- | doc/pipeline.html | 2 |
2 files changed, 2 insertions, 1 deletions
@@ -20,3 +20,4 @@ Thanks to: Luis Ressel <aranea@aixah.de> Colin Booth <colin@heliocat.net> Jesse Young <jlyo@jlyo.org> + Danilo Spinella <danyspin97@protonmail.com> diff --git a/doc/pipeline.html b/doc/pipeline.html index 99a89e0..aaaf9cf 100644 --- a/doc/pipeline.html +++ b/doc/pipeline.html @@ -57,7 +57,7 @@ from hanging around if <em>prog2...</em> fails to wait for its children.</li> <h2> Notes </h2> <ul> - <li> You can easily create a chain of pipes: <tt>pipeline a "" pipeline b "" c</tt> + <li> You can easily create a chain of pipes: <tt>execline -Pc 'pipeline { a } pipeline { b } c'</tt> is roughly equivalent to <tt>sh -c 'exec a | b | c'</tt>, except that shells usually run <tt>c</tt> as a child process like <tt>a</tt> and <tt>b</tt>, and <tt>exec</tt> has no |