diff options
| -rw-r--r-- | doc/note/shell/shell.txt | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/doc/note/shell/shell.txt b/doc/note/shell/shell.txt new file mode 100644 index 0000000..6b2e4d3 --- /dev/null +++ b/doc/note/shell/shell.txt @@ -0,0 +1,12 @@ + +POSIX shell +================ + +This is for POSIX shells. For specific shells see "../bash/" or "../dash/". + + +## Set pipefail only if it is supported + +if (set -o pipefail 2>/dev/null) ;then set -o pipefail ;fi + + |