diff options
Diffstat (limited to 'gemfeed/2022-01-01-bash-golf-part-2.html')
| -rw-r--r-- | gemfeed/2022-01-01-bash-golf-part-2.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gemfeed/2022-01-01-bash-golf-part-2.html b/gemfeed/2022-01-01-bash-golf-part-2.html index 07335dbf..b8c77be3 100644 --- a/gemfeed/2022-01-01-bash-golf-part-2.html +++ b/gemfeed/2022-01-01-bash-golf-part-2.html @@ -362,7 +362,7 @@ Second line: for Great Good -e Exit immediately if a command exits with a non-zero status. </pre> <br /> -<span>As you can see in the following example, the Bash terminates after the execution of "grep" as "foo" is not matching "bar". Therefore, grep exits with 1 (unsuccessfully) and the shell aborts. And therefore, "bar" will not be printed out anymore:</span><br /> +<span>As you can see in the following example, the Bash terminates after the execution of "grep" as "foo" is not matching "bar". Therefore, grep exits with 1 (unsuccessfully) and the shell aborts. And therefore, "bar" will not be printed out anymore:</span><br /> <br /> <pre> ❯ bash -c 'set -e; echo hello; grep -q bar <<< foo; echo bar' |
