diff options
| author | Andrew Robbins <contact@andrewrobbins.info> | 2017-09-20 11:01:04 -0400 |
|---|---|---|
| committer | Andrew Robbins <contact@andrewrobbins.info> | 2017-09-20 11:01:04 -0400 |
| commit | 139b7a41d8cda3ba100f6a1d2ef3e4d9beed2f8e (patch) | |
| tree | 24e2c83128a218994b95c64fa9cb8d551effcb83 /libs | |
| parent | ca3e4a475d4fafb36e09c358c4ba86ee4e87bce0 (diff) | |
| download | librebootfr-139b7a41d8cda3ba100f6a1d2ef3e4d9beed2f8e.tar.gz librebootfr-139b7a41d8cda3ba100f6a1d2ef3e4d9beed2f8e.zip | |
Quote elements of array wget_options
Necessary to satiate shellcheck.
Diffstat (limited to 'libs')
| -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[@]}" |