diff options
-rwxr-xr-x | libs/common | 12 |
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[@]}" } |