Add a toggle on the site to switch between wget and curl for systems that don't come with wget but do have curl

[spoelstraethan]

This will save a bunch of time and also help so users don't have to figure out the right set of options to make curl behave like wget.

[spoelstraethan]

Or on ChromeOS (where curl is available but not wget) if you are lazy and have setup the permissions and cache path properly per #4 you can just download wget using curl -LO instead of wget in the first command and then you can copy the rest of the commands verbatim.

Overall I prefer curl because if you tell it to use the URL name for the file with the -O (the -L just means follow redirects), then if you download the same file multiple times curl just replaces the file. If you download multiple times with wget without adding another option and argument it ends up creating filename.1 filename.2 etc which then makes the rest of the copied commands try using the wrong file.

[nikvdp]

Makes sense, shouldn't be hard to add. Will take a look