1 2 3 4 5
#! @shell@ -e echo "downloading $url into $out" @curl@ --fail --location --max-redirs 20 "$url" > "$out"