Revision 9714
Added by Aaron Marcuse-Kubitza over 11 years ago
lib/sh/util.sh | ||
---|---|---|
658 | 658 |
pipe_delay() # usage: cmd1 | { pipe_delay; cmd2; } |
659 | 659 |
{ sleep 0.1; } # s; display after leading output of cmd1 |
660 | 660 |
|
661 |
fi # load new aliases |
|
662 |
if self_being_included; then |
|
663 |
|
|
664 | 661 |
echo_stdin() # usage: input|echo_stdin|cmd |
665 | 662 |
{ |
666 | 663 |
if can_log; then |
Also available in: Unified diff
lib/sh/util.sh: removed no longer needed load new aliases before echo_stdin(), since pipe_delay() is now a function