logos-blockchain/logos-blockchain-testing
1
0
Fork 0
mirror of https://github.com/logos-blockchain/logos-blockchain-testing.git synced 2026-05-20 16:49:24 +00:00
Code Issues Packages Projects Releases Wiki Activity

Allow older Ubuntu versions

Browse Source
This commit is contained in:
hansieodendaal 2026-01-08 12:08:11 +02:00
parent 0576f58a19
commit 264510c2eb
No known key found for this signature in database
GPG Key ID: D341DA7FC6098627
1 changed files with 10 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -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 "Downloading nomos-circuits ${VERSION} for ${platform}..."
setup_nomos_circuits::print_info "URL: ${url}" 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 if [ -n "${GITHUB_TOKEN:-}" ]; then
curl_args+=(--header "authorization: Bearer ${GITHUB_TOKEN}") curl_args+=(--header "authorization: Bearer ${GITHUB_TOKEN}")
fi fi