From bbdf128cc15cf0ad3ca6a413fc015efd485a2a95 Mon Sep 17 00:00:00 2001 From: bnewbold Date: Fri, 23 Jun 2017 16:23:26 -0400 Subject: bash: pipefail note --- software/bash.page | 10 ++++++++++ 1 file changed, 10 insertions(+) (limited to 'software') diff --git a/software/bash.page b/software/bash.page index f9eeb8c..0a3f73f 100644 --- a/software/bash.page +++ b/software/bash.page @@ -31,3 +31,13 @@ the virtual devices ``/dev/tcp/HOSTNAME/PORT`` and ``/dev/udp/HOSTNAME/PORT``. printf ------ The ``printf`` command is much more powerful than "echo". + +Prelude +------- + +`set`: + + -e fail on error + -u fail if variable not set in substitution + -o pipefail fail if part of a '|' command fails + -- cgit v1.2.3