Changeset 25932

Timestamp:

01/06/21 14:59:54 (4 years ago)

Author:

schlegel

Message:

CHG: use curl first for download

File:

• issm/trunk-jpl/scripts/DownloadExternalPackage.sh (modified) (1 diff)

issm/trunk-jpl/scripts/DownloadExternalPackage.sh

@@ -41 +41 @@
 
 ## Download file
-#
-if [ ! -z `which wget` ]
+
+if [ ! -z `which curl` ]
+then
+        curl --silent $URL -o $OUT_FILE
+elif [ ! -z `which wget` ]
 then
         wget --quiet -O $OUT_FILE $URL
-elif [ ! -z `which curl` ]
-then
-        curl --silent $URL -o $OUT_FILE
 else
         echo $MSG_ERR_NO_GET_CMD