Revision 13236
Added by Aaron Marcuse-Kubitza almost 11 years ago
| trunk/lib/sh/util.sh | ||
|---|---|---|
| 408 | 408 |
catch__exceptions "$@" |
| 409 | 409 |
} |
| 410 | 410 |
|
| 411 |
ignore_sig() { ignore "$(sig_e "$1")"; }
|
|
| 412 |
|
|
| 413 | 411 |
# usage: piped_cmd cmd1...|cmd2... # cmd2 doesn't read all its input |
| 414 | 412 |
function piped_cmd() { "$@" || ignore SIGPIPE; }
|
| 415 | 413 |
alias piped_cmd='"piped_cmd" ' # last space alias-expands next word |
Also available in: Unified diff
lib/sh/util.sh: removed no longer used ignore_sig(). use ignore() instead, which now supports SIG*.