Revision 9715
Added by Aaron Marcuse-Kubitza over 11 years ago
| util.sh | ||
|---|---|---|
| 218 | 218 |
return 1 |
| 219 | 219 |
} |
| 220 | 220 |
|
| 221 |
#### streams |
|
| 221 | 222 |
|
| 223 |
pipe_delay() # usage: cmd1 | { pipe_delay; cmd2; }
|
|
| 224 |
{ sleep 0.1; } # s; display after leading output of cmd1
|
|
| 225 |
|
|
| 226 |
|
|
| 222 | 227 |
#### verbose output |
| 223 | 228 |
|
| 224 | 229 |
|
| ... | ... | |
| 655 | 660 |
|
| 656 | 661 |
### external command input/output |
| 657 | 662 |
|
| 658 |
pipe_delay() # usage: cmd1 | { pipe_delay; cmd2; }
|
|
| 659 |
{ sleep 0.1; } # s; display after leading output of cmd1
|
|
| 660 |
|
|
| 661 | 663 |
echo_stdin() # usage: input|echo_stdin|cmd |
| 662 | 664 |
{
|
| 663 | 665 |
if can_log; then |
Also available in: Unified diff
lib/sh/util.sh: moved pipe_delay() before fd-related functions so it can be used by them