I'm trying to switch over part of a script from
curl. I have this command:
wget --output-document=dl.html --quiet --timeout=10 --tries=1 $URL
curl equivalent of this?
curl -o dl.html -s -m 10 --retry 0 "$URL"
--retry is not really necessary, but is here for completeness' and because the defaults might be set in an environment or rc file.