1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
#!/bin/sh header() { echo "" echo "%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%" echo $1 echo "%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%" echo "" } runcmd() { echo $1 ret=time sh -c "$1" return $ret }