[Ubuntu] Set flags for curl (#7993)

This commit is contained in:
Vasilii Polikarpov
2023-07-28 20:18:41 +02:00
committed by GitHub
parent 3c7978b116
commit 7e863227d7
26 changed files with 33 additions and 33 deletions

View File

@@ -8,7 +8,7 @@
source $HELPER_SCRIPTS/install.sh
# get the latest julia version
json=$(curl -sL "https://julialang-s3.julialang.org/bin/versions.json")
json=$(curl -fsSL "https://julialang-s3.julialang.org/bin/versions.json")
julia_version=$(echo $json | jq -r '.[].files[] | select(.triplet=="x86_64-linux-gnu" and (.version | contains("-") | not)).version' | sort -V | tail -n1)
# download julia archive