27 Jun
2023
27 Jun
'23
10:07 p.m.
And i'd wish the shell had "set -o pipefail" much much earlier.
So you (sometimes) do things like
#(set -o pipefail) >/dev/null 2>&1 && set -o pipefail
es=$(exec 3>&1 1>&2; { the_worker "$cmd"; echo $? >&3; }
| mytee | mymail)
that are super neat (ie that this is possible syntax-wise!), but
terrible and cryptical and surely error-prone to do.
--steffen
|
|Der Kragenbaer, The moon bear,
|der holt sich munter he cheerfully and one by one
|einen nach dem anderen runter wa.ks himself off
|(By Robert Gernhardt)