Originally Posted by Iņigo
I know wget. Problem was that the dm-raid volume where I downloaded the files failed, corrupting everything inside, so I downloaded again, but it failed one more time. So I recreated the file system (btw, using btrfs, marvellous file system) and downloaded a third time.
I repeat my excuses,
No offense intended, just giving the information for the general reader of this thread, now and in the future.