aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAndrew Robbins <contact@andrewrobbins.info>2017-09-20 11:01:04 -0400
committerAndrew Robbins <contact@andrewrobbins.info>2017-09-20 11:01:04 -0400
commit139b7a41d8cda3ba100f6a1d2ef3e4d9beed2f8e (patch)
tree24e2c83128a218994b95c64fa9cb8d551effcb83
parentca3e4a475d4fafb36e09c358c4ba86ee4e87bce0 (diff)
downloadlibrebootfr-139b7a41d8cda3ba100f6a1d2ef3e4d9beed2f8e.tar.gz
librebootfr-139b7a41d8cda3ba100f6a1d2ef3e4d9beed2f8e.zip
Quote elements of array wget_options
Necessary to satiate shellcheck.
-rwxr-xr-xlibs/common10
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[@]}"