Project

General

Profile

« Previous | Next » 

Revision 8702

Added by Aaron Marcuse-Kubitza almost 12 years ago

lib/util.run: echo_stdin (): print a separator before and after the echoed output to help distinguish it from other verbose output

View differences:

lib/util.run
45 45 
	echo_cmd "$script:${BASH_LINENO[0]}" "${FUNCNAME[1]}" "$@"
46 46 
}
47 47 

  		




  48
  
  
    
echo_stdin () { tee -a /dev/stderr; } # usage: input|echo_stdin|cmd


  		




  
  48
  
    
echo_stdin () # usage: input|echo_stdin|cmd


  		




  
  49
  
    
{


  		




  
  50
  
    
	echo ----- >&2


  		




  
  51
  
    
	tee -a /dev/stderr;


  		




  
  52
  
    
	echo ----- >&2


  		




  
  53
  
    
}


  		




  49
  54
  
    

  		




  50
  55
  
    
echo_vars () { declare -p "${@%%=*}" >&2; } # usage: echo_vars var...


  		




  51
  56
  
    

  		












Also available in:  Unified diff