diff options
Diffstat (limited to 'mockrun')
| -rwxr-xr-x | mockrun | 19 |
1 files changed, 15 insertions, 4 deletions
@@ -3,12 +3,13 @@ # ARCH detection and check if [ "$(uname -m)" = "x86_64" ]; then QUEUE=mockx - REDISCLI="redis-cli" + REDISCLI="valkey-cli" else QUEUE=mocka - REDISCLI="redis-cli -h remi" + 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}" |