Report number of finished downloads.

This commit is contained in:
Achim D. Brucker 2018-03-09 00:43:08 +00:00
parent 5508a1a760
commit 6089055a81
1 changed files with 4 additions and 0 deletions

View File

@ -16,6 +16,10 @@ else
fi
echo "* current status"
DOWNLOADS=`grep 'Updating extension $' $LATESTLOG | wc -l`
echo " * parallel downloads finished: $DOWNLOADS"
DOWNLOADS=`grep 'Updating extension (' $LATESTLOG | wc -l`
echo " * sequential downloads finished: $DOWNLOADS"
grep 'Updating .* extensions' $LATESTLOG | sed -e 's/^.*---//'
echo ""