coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- 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
- [Coq-Club] OPLSS 12/13 videos corrupted? -- looking for mirrors, Ömer Sinan Ağacan, 08/08/2013
- Re: [Coq-Club] OPLSS 12/13 videos corrupted? -- looking for mirrors, Ben Lippmeier, 08/08/2013
- Re: [Coq-Club] OPLSS 12/13 videos corrupted? -- looking for mirrors, J. Ian Johnson, 08/08/2013
- Re: [Coq-Club] OPLSS 12/13 videos corrupted? -- looking for mirrors, Ömer Sinan Ağacan, 08/08/2013
- Re: [Coq-Club] OPLSS 12/13 videos corrupted? -- looking for mirrors, Bojan Petrovic, 08/09/2013
- Re: [Coq-Club] OPLSS 12/13 videos corrupted? -- looking for mirrors, Ömer Sinan Ağacan, 08/09/2013
- Re: [Coq-Club] OPLSS 12/13 videos corrupted? -- looking for mirrors, Kristopher Micinski, 08/09/2013
- Re: [Coq-Club] OPLSS 12/13 videos corrupted? -- looking for mirrors, Ömer Sinan Ağacan, 08/09/2013
- Re: [Coq-Club] OPLSS 12/13 videos corrupted? -- looking for mirrors, Kristopher Micinski, 08/09/2013
- Re: [Coq-Club] OPLSS 12/13 videos corrupted? -- looking for mirrors, Ömer Sinan Ağacan, 08/09/2013
- Re: [Coq-Club] OPLSS 12/13 videos corrupted? -- looking for mirrors, Bojan Petrovic, 08/09/2013
- Re: [Coq-Club] OPLSS 12/13 videos corrupted? -- looking for mirrors, Ömer Sinan Ağacan, 08/08/2013
- Re: [Coq-Club] OPLSS 12/13 videos corrupted? -- looking for mirrors, J. Ian Johnson, 08/08/2013
- Re: [Coq-Club] OPLSS 12/13 videos corrupted? -- looking for mirrors, Ben Lippmeier, 08/08/2013
Archive powered by MHonArc 2.6.18.