diff --git a/install.sh b/install.sh index 1910f36..ecab9b7 100644 --- a/install.sh +++ b/install.sh @@ -183,8 +183,8 @@ for tool in "${selected[@]}"; do cli) description="CLI tools" rel="https://api.github.com/repos/lf-lang/lingua-franca/releases/$suffix" - echo "> Connecting to $rel ..." - resp=$(curl --retry 5 --retry-delay 2 --retry-max-time 30 -L -H "Accept: application/vnd.github+json" $rel) + echo "> Fetching data from $rel ..." + resp=$(curl --retry 5 --retry-delay 2 --retry-max-time 30 -L -H -s -f "Accept: application/vnd.github+json" $rel) resp_ok=$? if [ $resp_ok -ne 0 ]; then echo "Error: Failed to fetch data from $rel" >&2 @@ -204,7 +204,8 @@ for tool in "${selected[@]}"; do os_abbr="mac" fi rel="https://api.github.com/repos/lf-lang/epoch/releases/$suffix" - resp=$(curl --retry 5 --retry-delay 2 --retry-max-time 30 -L -H "Accept: application/vnd.github+json" $rel) + echo "> Fetching data from $rel ..." + resp=$(curl --retry 5 --retry-delay 2 --retry-max-time 30 -L -H -s -f "Accept: application/vnd.github+json" $rel) resp_ok=$? if [ $resp_ok -ne 0 ]; then echo "Error: Failed to fetch data from $rel" >&2