Project

General

Profile

« Previous | Next » 

Revision 8997

lib/util.sh: added pipe_delay (used as `cmd1 | { pipe_delay; cmd2; }`)

View differences:

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