Click Download button to get file!
I used curl -LO and it worked fine. wget works too. How to download files straight from the command-line interface. The curl ... curl http://stash.compciv.org/ssa_baby_names/names.zip \ --output babynames.zip. zip', 'w+'); $url = "https://www.tyre24.com/nl/nl/user/login/userid/118151/password/5431tyre24/page/L2V4cG9ydC9kb3dubG9hZC90L01nPT0vYy9NVFE9Lw=="; //Here is the file we are downloading, replace spaces with %20 $ch = curl_init(str_replace(" ","%20",$url)); curl_setopt($ch, CURLOPT_TIMEOUT, 50); //give curl the file ... -O is used for saving file on the local system with the same name on the remote system. curl -O http://example.com/download/myfile.zip.