From b73cd795e173300b64a147f687f9fd2b95b4a001 Mon Sep 17 00:00:00 2001
From: Filippo Cremonese <filippocremonese@rev.ng>
Date: Thu, 15 Oct 2020 15:17:59 +0200
Subject: [PATCH] More robust interrupted download handling
---
.orchestra/support/extract.sh | 6 +++++-
1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/.orchestra/support/extract.sh b/.orchestra/support/extract.sh
index 33702e8..efcda27 100755
--- a/.orchestra/support/extract.sh
+++ b/.orchestra/support/extract.sh
@@ -40,10 +40,14 @@ if [ -z "${ARCHIVE_FILENAME}" ]; then
ARCHIVE_FILENAME="$(basename "$URL")"
fi
+TMP_ARCHIVE_FILENAME="${ARCHIVE_FILENAME}.tmp"
+trap 'rm ${SRC_ARCHIVE_DIR}/${TMP_ARCHIVE_FILENAME} || true' INT QUIT TERM EXIT
+
if [ ! -e "${SRC_ARCHIVE_DIR}/${ARCHIVE_FILENAME}" ]; then
echo "Downloading source archive to ${SRC_ARCHIVE_DIR}/${ARCHIVE_FILENAME}"
mkdir -p "$SRC_ARCHIVE_DIR"
- wget -O "${SRC_ARCHIVE_DIR}/${ARCHIVE_FILENAME}" "$URL"
+ wget -O "${SRC_ARCHIVE_DIR}/${TMP_ARCHIVE_FILENAME}" "$URL"
+ mv "${SRC_ARCHIVE_DIR}/${TMP_ARCHIVE_FILENAME}" "${SRC_ARCHIVE_DIR}/${ARCHIVE_FILENAME}"
else
echo "$URL already downloaded in ${SRC_ARCHIVE_DIR}/${ARCHIVE_FILENAME}"
fi
--
GitLab