aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xlibs/common12
1 files changed, 10 insertions, 2 deletions
diff --git a/libs/common b/libs/common
index 87f2f364..8dff9d18 100755
--- a/libs/common
+++ b/libs/common
@@ -73,8 +73,6 @@ download_wrapper() {
shift
local uris=($@)
- # TODO: Add support for curl, in addition
- # to wget, for compatibility reasons
local wget_options=(
'--config=/dev/null'
'--secure-protocol=PFS'
@@ -83,6 +81,16 @@ download_wrapper() {
'--'
)
+ local curl_options=(
+ '-q'
+ '--continue-at -'
+ '--remote-name'
+ '--retry 20'
+ '--ssl'
+ '--tlsv1.2'
+ '--'
+ )
+
wget "${wget_options[@]}" "${uris[@]}"
}