Skip to content

Commit

Permalink
Add back -s and -f flags
Browse files Browse the repository at this point in the history
  • Loading branch information
lhstrh committed Jan 31, 2025
1 parent a7583a6 commit 1dd1968
Showing 1 changed file with 4 additions and 3 deletions.
7 changes: 4 additions & 3 deletions install.sh
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand All @@ -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
Expand Down

0 comments on commit 1dd1968

Please sign in to comment.