Re: Archive files with upper case file names

[Eli Zaretskii]

> From: Richard Stallman <address@hidden>
> CC: address@hidden, address@hidden
> Date: Thu, 17 Mar 2005 18:01:28 -0500
> 
>     One common situation is this: one copies files via a floppy formatted
>     with the old DOS FAT16 filesystem.  (That filesystem stored all file
>     names UPCASED.)  If the copy command isn't smart enough to downcase
>     the file names on the destination side, you get FOO.ZIP.
> 
> This would apply to all file name extensions, right?

Yes, but mostly to files which are likely to be found on Microsoft
operating systems.  *.zip and *.jar are the most likely ones.

> So should we do a case-independent match on all of them

That would probably be a good idea.