Project

General

Profile

« Previous | Next » 

Revision 13235

lib/sh/util.sh: piped_cmd(): use ignore, which now supports SIG*

View differences:

trunk/lib/sh/util.sh
411 411
ignore_sig() { ignore "$(sig_e "$1")"; }
412 412

  
413 413
# usage: piped_cmd cmd1...|cmd2... # cmd2 doesn't read all its input
414
function piped_cmd() { "$@" || ignore_sig SIGPIPE; }
414
function piped_cmd() { "$@" || ignore SIGPIPE; }
415 415
alias piped_cmd='"piped_cmd" ' # last space alias-expands next word
416 416

  
417 417
fi # load new aliases

Also available in: Unified diff