* Étienne Faure <tinou...@gmail.com> [2011-11-05 14:59]:
> On Sat, Nov 5, 2011 at 14:40, <sta...@cs.tu-berlin.de> wrote:
> >
> > I'm afraid, then curl won't do either.
>
> As a matter of fact, it does:
>
great. then use curl. It's acceptable dependence, just as much as wget
is.
> Renaming the file afterwards can lead to failure: if the list of
> arguments after the ".php" is too long, the file won't be created, and
> the rename will fail.
> In such cases wget returns:
>
> Cannot write to `...' (File name too long).
Never encountered that myself. And I'm not sure I understand correctly.
I would see whether the file was created -- on the last line of wget
output:
2011-11-05 15:14:18 (340 KB/s) - `foobar.php?flsjffd' saved
[521549/521549]
And, of course, rename only if it was downloaded successfully.
--
stanio_
