Re:You cannot cURL under pressure
by tyingq on Saturday October 12, 2019 @09:33AM
(#21232976)
I do find myself using wget to download things because I don't have to remember the curl option to follow redirects, and wget saves the file using the same name as the last bit of the uri.
[ Parent
| on HN ]
Re:You cannot cURL under pressure
by why-oh-why on Saturday October 12, 2019 @09:41AM
(#21233031)
Which makes sense. cURL is a relatively “dumb” request tool.
Same goes for youtube-dl versus wget. The latter is a relatively “dumb” download tool.
curl follows redirects, `curl -O` is functionally identical to wget.
Unless I'm missing something in your statement.
Re:You cannot cURL under pressure
by deepersprout on Saturday October 12, 2019 @09:45AM
(#21233055)
> curl follows redirects, `curl -O` is functionally identical to wget.
No it's not :)
You need to `curl -LO`. See for example github releases:
curl -LO https://github.com/S2-/gitlit/releases/download/v1.4.1/gitlit-1.4.1.tar.gz
downloads the tar.gz, while curl -O https://github.com/S2-/gitlit/releases/download/v1.4.1/gitlit-1.4.1.tar.gz
will download an html file.Even better would be to use `curl -LOJ`, so if the filename is not in the url, but in the `Content-Disposition filename` http response header, curl would get the filename from there.
Pretty good overview of why I just use wget for such things.
"because I don't have to remember the curl option to follow redirects"