Revision 8960
Added by Aaron Marcuse-Kubitza over 11 years ago
| util.sh | ||
|---|---|---|
| 123 | 123 |
{
|
| 124 | 124 |
inc_log_level |
| 125 | 125 |
if can_log; then |
| 126 |
sleep 0.1 # s; display after leading output of the echoed-to command |
|
| 126 | 127 |
echo ----- >&2 |
| 127 | 128 |
tee -a /dev/stderr; |
| 128 | 129 |
echo ----- >&2 |
Also available in: Unified diff
lib/util.sh: echo_stdin (): display the echoed input after leading output of the echoed-to command, by using sleep with a small fractional # of seconds