Что такое curl-эквивалент этой команды wget?

Я пытаюсь переключить часть скрипта из wget в curl . У меня есть эта команда:

 wget --output-document=dl.html --quiet --timeout=10 --tries=1 $URL 

Каков эквивалент этого curl ?

 curl -o dl.html -s -m 10 --retry 0 "$URL" 

Примечание: --retry не является действительно необходимым, но здесь для полноты »и потому, что значения по умолчанию могут быть установлены в среде или файле rc.