diff options
-rwxr-xr-x | mockrun | 15 |
1 files changed, 13 insertions, 2 deletions
@@ -9,6 +9,7 @@ else REDISCLI="valkey-cli -h remi" fi +START=$(date +%s) CHECK=$($REDISCLI ping) [ "$CHECK" = "PONG" ] || exit 1 @@ -46,6 +47,16 @@ do echo -en "\r$(date +%X) $RPM ${TXT:0:10} " $CMD --uniqueext=$PPID && echo " Ok." || echo " Error !" done - -echo "$(date +%X) Done" +# Elapsed time +END=$(date +%s) +DUR=$(expr $END - $START) +HOUR=$(expr $DUR / 3600) +MIN=$(expr $DUR % 3600 / 60) +SEC=$(expr $DUR % 60) +[ $SEC -lt 10 -a $DUR -gt 60 ] && SEC="0$SEC" +[ $MIN -lt 10 -a $HOUR -gt 0 ] && MIN="0$MIN" +DUR="${SEC}\"" +[ $MIN -gt 0 ] && DUR="${MIN}'${SEC}\"" +[ $HOUR -gt 0 ] && DUR="${HOUR}h${MIN}'${SEC}\"" +echo "$(date +%X) Done in ${DUR}" |