Coombe, Allan David (DPS) wrote:

> However, the case of the files on disk is still mixed - so I assume that
> wget is not using the URL it originally requested (harvested from the
> HTML?) to create directories and files on disk.  So what is it using? A
> http header (if so, which one??).

I think wget uses the case from the HTML page(s) for the file name; your
proxy would need to change the URLs in the HTML pages to lower case too.

Tony

Reply via email to