wget

download a file from command line