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[@]}"
 }