Revision 8997
Added by Aaron Marcuse-Kubitza about 11 years ago
| util.sh | ||
|---|---|---|
| 149 | 149 |
echo_cmd "$script:${BASH_LINENO[0]}" "${FUNCNAME[1]}" "$@"
|
| 150 | 150 |
} |
| 151 | 151 |
|
| 152 |
# usage: cmd1 | { pipe_delay; cmd2; }
|
|
| 153 |
alias pipe_delay='sleep 0.1' # s; display after leading output of cmd1 |
|
| 154 |
|
|
| 155 |
fi # load new aliases |
|
| 156 |
if self_being_included; then |
|
| 157 |
|
|
| 152 | 158 |
echo_stdin () # usage: input|echo_stdin|cmd |
| 153 | 159 |
{
|
| 154 | 160 |
inc_log_level |
Also available in: Unified diff
lib/util.sh: added pipe_delay (used as `cmd1 | { pipe_delay; cmd2; }`)