Greetings, Corinna Vinschen! >> > On Thu, Aug 12, 2010 at 9:02 AM, Andrey Repin wrote: >> > (snip) >> >> <stdout>:curl -iI -H "Accept-Encoding: gzip" -s -- >> >> "http://cygwin.com/setup.exe"; >> >> HTTP/1.1 200 OK >> >> Date: Thu, 12 Aug 2010 06:59:40 GMT >> >> Server: Apache/2.0.52 (Red Hat) >> >> Last-Modified: Tue, 10 Aug 2010 16:28:21 GMT >> >> ETag: "18e01b8-a7413-9f101340" >> >> Accept-Ranges: bytes >> >> Vary: Accept-Encoding >> >> Content-Encoding: gzip >> >> Cache-Control: max-age=0 >> >> Expires: Thu, 12 Aug 2010 06:59:40 GMT >> >> Content-Type: application/octet-stream >> >> > Works for me with wget: >> >> Of course. It's just you can't launch it after wget - file don't have rights >> to execute it.
> chmod +x ? Indeed, yet again, it's not the point of my question. I have download manager processing downloads from my web browser. It's quite enough for me. When server behave correctly. -- WBR, Andrey Repin ([email protected]) 13.08.2010, <14:26> Sorry for my terrible english... -- Problem reports: http://cygwin.com/problems.html FAQ: http://cygwin.com/faq/ Documentation: http://cygwin.com/docs.html Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple
