From 139b7a41d8cda3ba100f6a1d2ef3e4d9beed2f8e Mon Sep 17 00:00:00 2001 From: Andrew Robbins Date: Wed, 20 Sep 2017 11:01:04 -0400 Subject: Quote elements of array wget_options Necessary to satiate shellcheck. --- libs/common | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'libs') 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[@]}" -- cgit v1.2.3-70-g09d2