diff --git a/scripts/setup/setup-nomos-circuits.sh b/scripts/setup/setup-nomos-circuits.sh index 1098fe9..7abc554 100755 --- a/scripts/setup/setup-nomos-circuits.sh +++ b/scripts/setup/setup-nomos-circuits.sh @@ -119,7 +119,16 @@ 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}" + ) + if 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