diff options
author | Andreas Fankhauser hiddenalpha.ch | 2024-10-05 02:17:02 +0200 |
---|---|---|
committer | Andreas Fankhauser hiddenalpha.ch | 2024-10-05 02:17:02 +0200 |
commit | efea98c5f498bb7534e3ac3c0a58249e6a9e1763 (patch) | |
tree | 0452c47559b27d2e1d67d3fcfd27ec1cb8fdff3b | |
parent | b18874cc0cc699d12703655413c1ff0f28bd3040 (diff) | |
download | UnspecifiedGarbage-efea98c5f498bb7534e3ac3c0a58249e6a9e1763.zip UnspecifiedGarbage-efea98c5f498bb7534e3ac3c0a58249e6a9e1763.tar.gz |
Add posix shell notes.
-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 + + |