Re: [dev] [surf] downloads

From: Troels Henriksen <>
Date: Sat, 05 Nov 2011 12:51:09 +0100

√Čtienne Faure <> writes:

> Hello,
> I've had a small issue downloading scripts from
> The URI ends with a php file and a variable argument. With the current
> wget setup, the script name isn't deduced from the header.
> Thus, the downloaded file's name is something like:
> download_script.php?src_id=1234
> I managed to solve this problem using curl and its --remote-header-name.
> I didn't find a way to do this with wget.

There is a fix for this that involves using the
webkit_download_get_suggested_filename function and passing it to wget's
-O option, but I can't figure out how to prevent clobbering of an
already existing file by that name. Perhaps we should use curl instead.

\  Troels
/\ Henriksen
Received on Sat Nov 05 2011 - 12:51:09 CET

This archive was generated by hypermail 2.3.0 : Sat Nov 05 2011 - 13:00:09 CET