code review: use download_with_retries, remove custom tmp dir, set -e

Signed-off-by: Paolo Mainardi <paolo.mainardi@sparkfabrik.com>
This commit is contained in:
Paolo Mainardi
2020-08-31 12:28:44 +02:00
parent 053476eee2
commit f7699ffa5b
2 changed files with 9 additions and 9 deletions

View File

@@ -13,7 +13,7 @@ download_with_retries() {
local NAME="${3:-${URL##*/}}"
local COMPRESSED="$4"
if [ $COMPRESSED == "compressed" ]; then
if [[ $COMPRESSED == "compressed" ]]; then
COMMAND="curl $URL -4 -sL --compressed -o '$DEST/$NAME'"
else
COMMAND="curl $URL -4 -sL -o '$DEST/$NAME'"