Micah Cowan wrote:

> Unfortunately, nothing really comes to mind. If you'd like, you could
> file a feature request at
> https://savannah.gnu.org/bugs/?func=additem&group=wget, for an option
> asking Wget to treat URLs case-insensitively.

To have the effect that Allan seeks, I think the option would have to convert 
all URIs to lower case at an appropriate point in the process. I think you 
probably want to send the original case to the server (just in case it really 
does matter to the server). If you're going to treat different case URIs as 
matching then the lower-case version will have to be stored in the hash. The 
most important part (from the perspective that Allan voices) is that the 
versions written to disk use lower case characters.

Tony

Reply via email to