logos-blockchain/logos-blockchain-testing
1
0
Fork 0
mirror of https://github.com/logos-blockchain/logos-blockchain-testing.git synced 2026-01-10 01:03:08 +00:00
Code Issues Packages Projects Releases Wiki Activity

chore: allow older curl versions as well (#1)

Browse Source
This commit is contained in:
Hansie Odendaal 2026-01-09 11:22:50 +02:00 committed by GitHub
parent 0576f58a19
commit bb538146ac
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 24 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
scripts/setup/setup-nomos-circuits.sh
View File

@ -119,7 +119,18 @@ setup_nomos_circuits::download_release() {
setup_nomos_circuits::print_info "Downloading nomos-circuits ${VERSION} for ${platform}..."
setup_nomos_circuits::print_info "URL: ${url}"
local -a curl_args=(curl -fL --retry "${CURL_RETRY_COUNT}" --retry-delay "${CURL_RETRY_DELAY_SECONDS}" --retry-all-errors)
local -a curl_args=(
curl
-fL
--retry "${CURL_RETRY_COUNT}"
--retry-delay "${CURL_RETRY_DELAY_SECONDS}"
)
# `curl` is not guaranteed to support `--retry-all-errors`, so check before using it
# `curl --help` may be abbreviated on some platforms
if (curl --help all 2>/dev/null || curl --help 2>/dev/null) | grep -q -- '--retry-all-errors'; then
curl_args+=(--retry-all-errors)
fi
if [ -n "${GITHUB_TOKEN:-}" ]; then
curl_args+=(--header "authorization: Bearer ${GITHUB_TOKEN}")
fi

13
testing-framework/assets/stack/scripts/setup-nomos-circuits.sh
View File

@ -50,7 +50,18 @@ download_release() {
temp_dir=$(mktemp -d)
echo "Downloading nomos-circuits ${VERSION} for ${platform}..."
local -a curl_args=(curl -fL --retry "${CURL_RETRY_COUNT}" --retry-delay "${CURL_RETRY_DELAY_SECONDS}" --retry-all-errors)
local -a curl_args=(
curl
-fL
--retry "${CURL_RETRY_COUNT}"
--retry-delay "${CURL_RETRY_DELAY_SECONDS}"
)
# `curl` is not guaranteed to support `--retry-all-errors`, so check before using it
# `curl --help` may be abbreviated on some platforms
if (curl --help all 2>/dev/null || curl --help 2>/dev/null) | grep -q -- '--retry-all-errors'; then
curl_args+=(--retry-all-errors)
fi
if [ -n "${GITHUB_TOKEN:-}" ]; then
curl_args+=(-H "Authorization: Bearer ${GITHUB_TOKEN}")
fi