Add progress bar to wget's build_release.sh for slow connections

This commit is contained in:
Emmanuel Viennet 2023-02-20 13:13:23 +01:00
parent 4ec8c536c5
commit a5c7e8609c
2 changed files with 3 additions and 2 deletions

View File

@ -1,7 +1,7 @@
# -*- mode: python -*-
# -*- coding: utf-8 -*-
SCOVERSION = "9.4.45"
SCOVERSION = "9.4.46"
SCONAME = "ScoDoc"

View File

@ -70,7 +70,8 @@ mkdir -p "$optdir" || die "mkdir failure for $optdir"
archive="$FACTORY_DIR"/"$PACKAGE_NAME-$RELEASE_TAG".tar.gz
echo "Downloading $GIT_RELEASE_URL ..."
# curl -o "$archive" "$GIT_RELEASE_URL" || die "curl failure for $GIT_RELEASE_URL"
wget -nv -O "$archive" "$GIT_RELEASE_URL" || die "wget failure for $GIT_RELEASE_URL"
wget --progress=dot -O "$archive" "$GIT_RELEASE_URL" || die "wget failure for $GIT_RELEASE_URL"
# -nv
# On décomprime
# normalement le résultat s'appelle "scodoc" et va dans opt