From 5b06680fd1db7fbee3a488e8c5d1116c4a32e05b Mon Sep 17 00:00:00 2001 From: Benoit Marty Date: Fri, 25 Oct 2024 14:53:22 +0200 Subject: [PATCH] Give a chance for download_all_github_artifacts.py to fail and to try again, without breaking the release script. Previously any error in download_all_github_artifacts.py was ignored and the script was continuing (without success ofc). --- tools/release/release.sh | 15 ++++++++++++++- 1 file changed, 14 insertions(+), 1 deletion(-) diff --git a/tools/release/release.sh b/tools/release/release.sh index 56c6926da1..032007e780 100755 --- a/tools/release/release.sh +++ b/tools/release/release.sh @@ -185,11 +185,24 @@ targetPath="./tmp/Element/${version}" printf "\n================================================================================\n" printf "Downloading the artifacts...\n" -python3 ./tools/github/download_all_github_artifacts.py \ +ret=1 + +while [[ $ret -ne 0 ]]; do + python3 ./tools/github/download_all_github_artifacts.py \ --token "${gitHubToken}" \ --runUrl "${runUrl}" \ --directory "${targetPath}" + ret=$? + if [[ $ret -ne 0 ]]; then + read -p "Error while downloading the artifacts. You may want to fix the issue and retry. Retry (yes/no) default to yes? " doRetry + doRetry=${doRetry:-yes} + if [ "${doRetry}" == "no" ]; then + exit 1 + fi + fi +done + printf "\n================================================================================\n" printf "Unzipping the F-Droid artifact...\n"