diff options
Diffstat (limited to 'mockrun')
| -rwxr-xr-x | mockrun | 21 |
1 files changed, 16 insertions, 5 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 @@ -43,9 +44,19 @@ do fi TXT="$(echo $CMD | sed -e 's/^.*-r //;s/ .*$//') " RPM="$(echo $CMD | sed -e 's:\.rpm.*$:.rpm:;s:^.*/::')" - echo -en "\r$(date +%X) $RPM ${TXT:0:10}" + 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}" |
