News for hackers. Stuff that matters.
Re:Internet Search Tips by gwern on Thursday December 13, 2018 @10:35AM (#18672999)
How do you use wget? I know you can specify a start position, intended for resuming downloads, but you need to specify an end position as well (to extract just the single compressed file), and I don't see any way to specify an end in the wget manpage.
Re:Internet Search Tips by greglindahl on Thursday December 13, 2018 @02:57PM (#18675460)
Hm, come to think of it, I guess I was programming in python at the time. The internets say that wget doesn't support range requests and while curl's manpage says --range works, it doesn't work for me.