scripts/download.pl: fix downloads with wget
authorPetr Štetiar <ynezz@true.cz>
Tue, 13 Sep 2022 05:40:37 +0000 (07:40 +0200)
committerPetr Štetiar <ynezz@true.cz>
Fri, 16 Sep 2022 16:50:46 +0000 (18:50 +0200)
commit81388f74b58e98d79274a788b442b7a1aa8a11c7
tree5368803c014788cf67ef61158bf365d7c265a77e
parentb8cbca8ac8e89aa417a2ab739b81d288185a4b2d
scripts/download.pl: fix downloads with wget

Several users of wget for downloads (curl is not available in the
system) have reported broken download functionality:

 wget --tries=5 --timeout=20 --output-document=-  https://cdn.kernel.org/pub/linux/kernel/v5.x/linux-5.10.142.tar.xz
 http://: Invalid host name.

Thats all happening due to '' was passed as an argument, which got later
expanded to http://.

In the context of a list constructor '' is not nothing, it is an empty
string element.  So fix it by using () as it will yield "nothing" and
thus not introduce an empty string element.

Fixes: #10692
Fixes: 90c6e3aedf16 ("scripts: always check certificates")
Signed-off-by: Jo-Philipp Wich <jo@mein.io> [shellwords() -> ()]
Signed-off-by: Petr Štetiar <ynezz@true.cz>
(cherry picked from commit 50a48faa1b8424e6b4b436b7118fffa2cba14b18)
scripts/download.pl