Project

General

Profile

« Previous | Next » 

Revision 8960

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

View differences:

lib/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