Pro tip: Use `wget` instead if curl file downloads keep failing. It’s more resilient for simple downloads:
```
wget --user-agent="Mozilla" [url]
```
But if you’re stuck with curl, `-v` is your best friend for debugging.
```
wget --user-agent="Mozilla" [url]
```
But if you’re stuck with curl, `-v` is your best friend for debugging.
