Project

General

Profile

« Previous | Next » 

Revision 8278

Added by Aaron Marcuse-Kubitza over 11 years ago

lib/util.run: Added echo_cmd and use it in echo_run

View differences:

lib/util.run
20 20 
run_cmd "$@"
21 21 
fi ####
22 22 

  		




  23
  
  
    
echo_run () { echo "$PS4$*" >&2; "$@"; }


  		




  
  23
  
    
echo_cmd () { echo "$PS4$*" >&2; }


  		




  24
  24
  
    

  		




  
  25
  
    
echo_run () { echo_cmd "$@"; "$@"; }


  		




  
  26
  
    

  		




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


  		




  26
  28
  
    

  		




  27
  29
  
    
usage () { echo "Usage: $1" >&2; (exit 2); }


  		












Also available in:  Unified diff