run.sh 247 Bytes EditWeb IDE 1 2 3 4 5 6 7 8 9 10 11 12 13 14 #!/usr/bin/bash if [ $# -lt 1 ] then echo "Parameters missing." echo "Usage: $0 <executable name>" exit fi while : do $1 printf "$(date) : $1 return $?, wait for 5 seconds to restart\n" sleep 5 done