Re: [dev] [surf] downloads

From: Étienne Faure <>
Date: Sat, 5 Nov 2011 14:58:59 +0100

On Sat, Nov 5, 2011 at 14:40, <> wrote:
> * Étienne Faure <> [2011-11-05 14:29]:
>> I'm afraid not. I tested it quickly for the same issue:
>> webkit_download_get_suggested_filename(o)
>>     returned "download_script.php" instead of, in this case, "".
> I'm afraid, then curl won't do either.

As a matter of fact, it does:

curl -JO ''

    downloads to a file named ''

(curl version 7.22.0)

> To be honest, while I admit it is not beautiful, I never cared about
> that. I land in a ${SHELL} after download finishes, see which file has
> been downloaded, and can immediately rename it to what I consider sane.
> File type is usually known from context, so ... it doesn't bother me
> actually.

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).
Received on Sat Nov 05 2011 - 14:58:59 CET

This archive was generated by hypermail 2.3.0 : Sat Nov 05 2011 - 15:00:08 CET