The wget command is my go-to for downloading remote files to a local machine when a GUI isn’t available. There are two reasons I tend to default to wget: It’s the ...