Hi, after all, after all it's only my point of view :D
anyway,

"/dir/file",
"dir/File", non-standard
"Dir/file", non-standard
and "/Dir/File" non-standard

that's it, if the server manages non-standard URL, it's not my
concern, for me it doesn't exist


On Fri, Jun 13, 2008 at 3:12 PM, Tony Lewis <[EMAIL PROTECTED]> wrote:
> mm w wrote:
>
>> standard: the URL are case-insensitive
>>
>> you can adapt your software because some people don't respect standard,
>> we are not anymore in 90's, let people doing crapy things deal with
>> their crapy world
>
> You obviously missed the point of the original posting: how can one 
> conveniently mirror a site whose server uses case insensitive names onto a 
> server that uses case sensitive names.
>
> If the original site has the URI strings "/dir/file", "dir/File", "Dir/file", 
> and "/Dir/File", the same local file will be returned. However, wget will 
> treat those as unique directories and files and you wind up with four copies.
>
> Allan asked if there is a way to have wget just create one copy and proposed 
> one way that might accomplish that goal.
>
> Tony
>
>



-- 
-mmw

Reply via email to