curl and wget surely facilitates the download.