diff options
| author | bnewbold <bnewbold@robocracy.org> | 2017-06-23 16:23:26 -0400 |
|---|---|---|
| committer | bnewbold <bnewbold@robocracy.org> | 2017-06-23 16:23:26 -0400 |
| commit | bbdf128cc15cf0ad3ca6a413fc015efd485a2a95 (patch) | |
| tree | c9b07ad213bd56cdae0ba638448d6f54543b7f77 | |
| parent | c160bf24f14957a1d65ee2342c3e5d6d321e159b (diff) | |
| download | knowledge-bbdf128cc15cf0ad3ca6a413fc015efd485a2a95.tar.gz knowledge-bbdf128cc15cf0ad3ca6a413fc015efd485a2a95.zip | |
bash: pipefail note
| -rw-r--r-- | software/bash.page | 10 |
1 files changed, 10 insertions, 0 deletions
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 + |