pretty curl downloads

pull/58/head v2.3.5
Simon Let 6 years ago
parent ce2bce1580
commit 4bbcb08226
  1. 8
      scripts/rawinstall.sh

@ -67,13 +67,13 @@ echo "Downloading files ..."
curl_opt="--location --remote-name --progress-bar" curl_opt="--location --remote-name --progress-bar"
echo "$dl_checksums" echo " * $fname_checksums"
# shellcheck disable=2086 # shellcheck disable=2086
curl $curl_opt "$dl_checksums" COLUMNS=80 curl $curl_opt "$dl_checksums"
echo "$dl_binaries" echo " * $fname_binaries"
# shellcheck disable=2086 # shellcheck disable=2086
curl $curl_opt "$dl_binaries" COLUMNS=80 curl $curl_opt "$dl_binaries"
# TODO: check if we downloaded anything # TODO: check if we downloaded anything
# Github serves you a "Not found" page so the curl doesn't error out # Github serves you a "Not found" page so the curl doesn't error out

Loading…
Cancel
Save