How do I use curl to download a file from the command line? or What’s the correct curl command to dow

Quick and dirty curl tips:

- `curl -O [url]` → default name.
- `curl -o whatever.jpg [url]` → custom name.
- `curl -LO [url]` → follow redirects + OG name.

Bonus: `-v` for verbose output if stuff breaks.

Other tools? `aria2c` is faster for big files, but curl’s everywhere.