From c3b7abbbbcb2b1fa4fa2698e77e9457b7af638a7 Mon Sep 17 00:00:00 2001 From: Andrew Robbins Date: Wed, 20 Sep 2017 10:31:50 -0400 Subject: Add support for curl in download_wrapper function --- libs/common | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) (limited to 'libs') 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[@]}" } -- cgit v1.2.3-70-g09d2