diff options
| -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 + |