I'm trying to switch over part of a script from wget to curl. I have this command:wget --output-document=dl.html --quiet --timeout=10 --tries=1 $URLWhat's the curl equivalent of this?
What is the curl equivalent of this wget command?
shell script;wget;curl