[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: find-library-name fails if file (with no extension) exists.
From: |
Eli Zaretskii |
Subject: |
Re: find-library-name fails if file (with no extension) exists. |
Date: |
Wed, 22 Nov 2006 20:43:34 +0200 |
> Cc: address@hidden
> From: David Kastrup <address@hidden>
> Date: Wed, 22 Nov 2006 10:35:46 +0100
>
> And they don't violate the principle that listing a directory will
> tell you all legal _file names_ available from that directory. I can
> decide whether the file `/fdsaf/dsafd/asfd/daffa' can exist by looking
> at the directory listing of `/fdsaf/dsafd/asfd/'.
>
> That is not possible with case insensitive file systems unless I have
> a function that is guaranteed to compare file names exactly in the
> same manner as the operating system does.
The Windows API does have such a function. Heck, even DOS had it.
And it can be emulated on Posix filesystems with readdir and fnmatch.
It's a non-issue.
> And if I have such a function, it might mean that I can't use file
> names as an index into a hash data structure unless I have a hash
> function that maps operating-system-identical file names onto
> identical keys.
Repeat after me: file names are not strings.
- Re: find-library-name fails if file (with no extension) exists., (continued)
- Re: find-library-name fails if file (with no extension) exists., David Kastrup, 2006/11/22
- Re: find-library-name fails if file (with no extension) exists., Eli Zaretskii, 2006/11/22
- Re: find-library-name fails if file (with no extension) exists., David Kastrup, 2006/11/22
- Re: find-library-name fails if file (with no extension) exists., Eli Zaretskii, 2006/11/22
- Re: find-library-name fails if file (with no extension) exists., David Kastrup, 2006/11/22
- Re: find-library-name fails if file (with no extension) exists., Richard Stallman, 2006/11/22
- Re: find-library-name fails if file (with no extension) exists., Juanma Barranquero, 2006/11/22
- Re: find-library-name fails if file (with no extension) exists., Richard Stallman, 2006/11/24
- Re: find-library-name fails if file (with no extension) exists., Eli Zaretskii, 2006/11/21
- Re: find-library-name fails if file (with no extension) exists., David Kastrup, 2006/11/22
- Re: find-library-name fails if file (with no extension) exists.,
Eli Zaretskii <=
- Re: find-library-name fails if file (with no extension) exists., David Kastrup, 2006/11/22
- Re: find-library-name fails if file (with no extension) exists., Stuart D. Herring, 2006/11/27
- Re: find-library-name fails if file (with no extension) exists., Stuart D. Herring, 2006/11/27
- Re: find-library-name fails if file (with no extension) exists., Eli Zaretskii, 2006/11/28
- Re: find-library-name fails if file (with no extension) exists., Eli Zaretskii, 2006/11/21