lib/scripts/download_file
changeset 80213 d13b8ee54885
parent 77053 c839b84ee66f
--- a/lib/scripts/download_file	Wed May 29 16:08:17 2024 +0200
+++ b/lib/scripts/download_file	Wed May 29 16:16:29 2024 +0200
@@ -16,20 +16,10 @@
     return 2
   }
 
-  local CURL_OPTIONS="--fail --silent --location"
-  if [ "$(uname -s)" = "Darwin" ]
-  then
-    case $(sw_vers -productVersion) in
-      10.*)
-        CURL_OPTIONS="$CURL_OPTIONS --insecure"
-        ;;
-    esac
-  fi
-
   echo "Getting \"$REMOTE\""
   mkdir -p "$(dirname "$LOCAL")"
 
-  if curl $CURL_OPTIONS "$REMOTE" > "${LOCAL}.part"
+  if curl --fail --silent --location "$REMOTE" > "${LOCAL}.part"
   then
     mv -f "${LOCAL}.part" "$LOCAL"
   else