mockrun: display elapsed timeHEADmaster

1 files changed, 13 insertions, 2 deletions

diff --git a/mockrun b/mockrun
index 98faf60..8c897c4 100755
--- a/mockrun
+++ b/mockrun
@@ -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}"