Quoting Leslie Rhorer (lrho...@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. -- To UNSUBSCRIBE, email to debian-user-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/20150608000329.GA18375@alum
