Code review comment for ~paelzer/ubuntu-helpers:os-import-for-focal

I have a lot more experience with wget than curl, and have mostly used the former including in scripts. Guessing your experience has been similar.

wget has a definite advantage when you're downloading multiple files from a website, or doing things recursively. But for single-file downloads, the advantage I'm seeing on using curl is that it gives better low-level control and generally seems more robust when you're using in a scripted fashion. Curl seems to also be (slightly) faster, and provide more discrete error codes, which could be useful in a script.

Anyway, no biggie but just FYI that at least for my own purposes I'll probably be switching to curl over wget for scripted things myself.

Some links:
  * https://unix.stackexchange.com/questions/47434/what-is-the-difference-between-curl-and-wget
  * https://daniel.haxx.se/docs/curl-vs-wget.html