I\’ve been trying to be efficient, and downloading files direct to the server, but some of our sites do not support wget for easy downloading. I did a bit of hunting around, and found you can do the same thing with:

curl -C – -O