Re: wget fails in Debian Jessie

[David Wright <deblis@lionunicorn.co.uk>]

Quoting Leslie Rhorer (lrhorer@mygrande.net):
> On Sunday, June 7, 2015 at 4:00:04 AM UTC-5, Reco wrote:
> 
> > > Does anyone have any ideas how I could get curl to handle the task, since wget is failing?  Some other utility?
> > 
> > Don't depend on curl. Use good old socat combined with wget:
> 
> Why?  The -L option in curl did the trick.  Is there some over-riding reason why I should use wget instead of curl?  Curl windsup being simpler and faster in this case.

I'm not commenting on this particular case, but the default options in
curl are a pain in the proverbial.

As I mentioned 8 April, curl outputs to stdout so you've got to set
-O to get the "correct" filename.

Then you need -R to get the correct timestamp applied.

You also need to check for the existence of a file of the same name
else curl will silently overwrite it. I haven't figured out an alias
to prevent this.

wget handles these cases correctly. curl might be fine for scripting
but I find wget far friendlier for interactive use.

Cheers,
David.