As currently written, Wget really prefers to determine the file name
based on the URL, before the download starts (redirections are sort of
an exception here).  It would be easy to add an option to change
"index.html" to "index.xml" or whatever you desire, but it would be
much harder to determine the file name only after the headers arrive.

Reply via email to