Skip to content

Commit

Permalink
Remove silent option
Browse files Browse the repository at this point in the history
  • Loading branch information
lhstrh committed Jan 31, 2025
1 parent 00a26ac commit de8a160
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions install.sh
Original file line number Diff line number Diff line change
Expand Up @@ -183,7 +183,7 @@ for tool in "${selected[@]}"; do
cli)
description="CLI tools"
rel="https://api.github.com/repos/lf-lang/lingua-franca/releases/$suffix"
if ! kvp=$(curl --retry 5 --retry-delay 2 --retry-max-time 30 -L -s -f -H "Accept: application/vnd.github+json" $rel 2>&1 | grep download_url | grep $os-$arch.tar.gz); then
if ! kvp=$(curl -L -H "Accept: application/vnd.github+json" $rel 2>&1 | grep download_url | grep $os-$arch.tar.gz); then
echo "Error: Failed to fetch data from $rel" >&2
exit 1
fi
Expand All @@ -200,7 +200,7 @@ for tool in "${selected[@]}"; do
os_abbr="mac"
fi
rel="https://api.github.com/repos/lf-lang/epoch/releases/$suffix"
if ! kvp=$(curl --retry 5 --retry-delay 2 --retry-max-time 30 -L -H "Accept: application/vnd.github+json" $rel 2>&1 | grep "download_url" | grep "$arch" | grep "$os_abbr"); then
if ! kvp=$(curl -L -H "Accept: application/vnd.github+json" $rel 2>&1 | grep "download_url" | grep "$arch" | grep "$os_abbr"); then
echo "Error: Failed to fetch data from $rel" >&2
exit 1
fi
Expand Down

0 comments on commit de8a160

Please sign in to comment.