On 12/03/2024 09:12 PM, Eric Gallager wrote:
On Tue, Dec 3, 2024 at 7:09 AM Tiezhu Yang <yangtie...@loongson.cn> wrote:
When executing the script download_prerequisites, the download speed may
be extremely slow and there is no any output, the users do not know what
happened.
Given the command wget and curl have options --verbose and --no-verbose,
add them for download_prerequisites to give a chance to see the details.
For how long have they had these options? My curl (8.10.1) doesn't
seem to be listing `--no-verbose` among its `--help all` list of
options...
In the curl man page [1] or "curl --manual | grep no-verbose",
there is "--no-verbose", but there is no this option in the
output of "curl --help". I do not know the internal history.
When executing the curl command, "--no-verbose" is a valid
option but seems no effect like the option "--silent".
In the current code, "curl -LO --no-verbose" looks like
somehow unreasonable, the output is not expected. Since
wget is a frequently-used command, is it possible to
remove the curl command in download_prerequisites?
I will send v2 to do this for your review.
[1] https://curl.se/docs/manpage.html#-v
Thanks,
Tiezhu
