diff options
| -rwxr-xr-x | libs/common | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/libs/common b/libs/common index b1d2f571..9bf50ab9 100755 --- a/libs/common +++ b/libs/common @@ -76,11 +76,11 @@ download_wrapper() { # TODO: Add support for curl, in addition # to wget, for compatibility reasons wget_options=( - --config=/dev/null - --secure-protocol=PFS - --directory-prefix="${download_dir}" - --continue - -- + '--config=/dev/null' + '--secure-protocol=PFS' + "--directory-prefix=$download_dir" + '--continue' + '--' ) wget "${wget_options[@]}" "${uris[@]}" |