Re: [dev] [surf] downloads

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


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:


I managed to solve this problem using curl and its --remote-header-name.

I didn't find a way to do this with wget.


Received on Sat Nov 05 2011 - 12:48:14 CET

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