Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] OPLSS 12/13 videos corrupted? -- looking for mirrors

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] OPLSS 12/13 videos corrupted? -- looking for mirrors


Chronological Thread 
  • From: Bojan Petrovic <bojan_petrovic AT fastmail.fm>
  • To: coq-club AT inria.fr
  • Subject: Re: [Coq-Club] OPLSS 12/13 videos corrupted? -- looking for mirrors
  • Date: Fri, 09 Aug 2013 01:03:57 +0200

On Thu, Aug 8, 2013, at 03:12 PM, Ömer Sinan Ağacan wrote:
> Now I'm not sure how can I download these videos without errors, any
> ideas on that?

I had good experiences with wget 1.14 (Firefox would frequently stop
downloading the video after a few hundred megs). Try something like:

wget -c
http://www.cs.uoregon.edu/research/summerschool/summer13/lectures/licata3-3.mp4

"-c" will resume downloading a partially downloaded file if there is one in
the current directory.

Regards,
Bojan



Archive powered by MHonArc 2.6.18.

Top of Page