-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Tony Lewis wrote: > 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.
My understanding from David's post is that he claimed to have been doing just that: > I modified the response from the web site to lowercase the urls in > the html (actually I lowercased the whole response) and the data that > wget put on disk was fully lowercased - problem solved - or so I > thought. My suspicion is it's not quite working, though, as otherwise where would Wget be getting the mixed-case URLs? - -- Micah J. Cowan Programmer, musician, typesetting enthusiast, gamer, and GNU Wget Project Maintainer. http://micah.cowan.name/ -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.7 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iD8DBQFIYVyq7M8hyUobTrERAo6mAJ4ylEi5qUZqE7DR8xL2XjWOSfuurACePrIz Vl7REl1hNVNqdBrLqoygrcE= =jlBN -----END PGP SIGNATURE-----
