summaryrefslogtreecommitdiffstats
path: root/software
diff options
context:
space:
mode:
Diffstat (limited to 'software')
-rw-r--r--software/bash.page10
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
+