From a623cc84779527d1394c6f624e1e642c689542e3 Mon Sep 17 00:00:00 2001 From: Alfonso Acosta Date: Wed, 15 May 2019 20:07:30 +0200 Subject: [PATCH] Retry downloading and unpacking archive --- start.sh | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/start.sh b/start.sh index c6a9939..de56ec6 100755 --- a/start.sh +++ b/start.sh @@ -32,7 +32,9 @@ REPO_DIR="/git-server/repos/${REPO}" init_repo() { mkdir "${REPO_DIR}" cd /git-server/repos - curl --verbose --location --fail "${TAR_URL}" | tar xz -C "./${REPO}" --strip-components=1 + while ! curl --verbose --location --fail "${TAR_URL}" | tar xz -C "./${REPO}" --strip-components=1; do + sleep 1 + done cd "${REPO_DIR}" git init --shared=true git add .