From 77a47b2c5e7c3243743bd8d7594366f498e9cef7 Mon Sep 17 00:00:00 2001 From: Laurent Bercot Date: Fri, 16 Mar 2018 08:18:53 +0000 Subject: More modifications, and doc change --- doc/pipeline.html | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) (limited to 'doc/pipeline.html') diff --git a/doc/pipeline.html b/doc/pipeline.html index 99a89e0..13882f1 100644 --- a/doc/pipeline.html +++ b/doc/pipeline.html @@ -3,9 +3,9 @@ - execline: the pipeline command - - + execline: the | command + + @@ -16,10 +16,10 @@ skarnet.org

-

The pipeline program

+

The | program

-pipeline runs two commands with a pipe between them. +| runs two commands with a pipe between them.

Interface

@@ -29,11 +29,11 @@ 

-     pipeline [ -d ] [ -r | -w ] { prog1... } prog2...
+     | [ -d ] [ -r | -w ] { prog1... } prog2...