Thank you for your work, Andrew ! In general, I like the idea of being able to read and/or modify the filenames.
Just for discussion: What about a more slightly extended option: Call an external program after downloading and saving, not only with filename but also with additional information (e.g. HTTP header stuff like content-type etc.). This external program would be able to rename the file (and telling this Wget via pipe output as Andrew suggested), but also being able to analyze the file content, saving meta-infos into a database, extract and execute javascript, etc. Two thoughts: - the whole idea is not relevant for single downloads. - the above things could be done by analysing Wgets debugging output. I have done this several times. But the debugging output is not documented, so these solutions are hacks and might break with the next version of Wget. Regards, Tim
signature.asc
Description: This is a digitally signed message part.