diff options
| author | bnewbold <bnewbold@robocracy.org> | 2022-06-23 10:35:06 -0700 |
|---|---|---|
| committer | bnewbold <bnewbold@robocracy.org> | 2022-06-23 10:35:06 -0700 |
| commit | c1def3cdf5569c892a75e84b8b23963371f3819d (patch) | |
| tree | 225060a76fa55fd8e224c643e4cd7e3d88995505 /software/bash.page | |
| parent | 5be0eb7d31d792366eb1e1be0a6de477a348b723 (diff) | |
| parent | 9eff4d99afc1ba861ae32dcd46d88ff6b3ef222f (diff) | |
| download | knowledge-c1def3cdf5569c892a75e84b8b23963371f3819d.tar.gz knowledge-c1def3cdf5569c892a75e84b8b23963371f3819d.zip | |
Merge branch 'master' of adze:knowledge
Diffstat (limited to 'software/bash.page')
| -rw-r--r-- | software/bash.page | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/software/bash.page b/software/bash.page index 0d5325b..5d82fdc 100644 --- a/software/bash.page +++ b/software/bash.page @@ -37,6 +37,8 @@ Note that `join`, `grep`, and others sometimes exit non-zero return codes on purpose (eg, pipe input closed or found no matches, as expected), which makes life difficult. Sometimes `|| true` is enough to get around this. +More on this: <http://redsymbol.net/articles/unofficial-bash-strict-mode/> + ## General Style Google has a style guide: https://google.github.io/styleguide/shell.xml |