[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Archive files with upper case file names
|
From: |
Richard Stallman |
|
Subject: |
Re: Archive files with upper case file names |
|
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?
So should we do a case-independent match on all of them
(after trying a case-dependent match first, to distinguish .z and .Z)?