Ya, the file I downloaded is only1557566248 bytes, obviously not right. I was using Firefox to download it... I'm trying wget now.
Watch out; only the most recent versions of wget support large (>2GB) files. curl should be OK though.
Paul.
Watch out; only the most recent versions of wget support large (>2GB) files. curl should be OK though.
