[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: |
David Kastrup |
Subject: |
Re: find-library-name fails if file (with no extension) exists. |
Date: |
Wed, 22 Nov 2006 10:35:46 +0100 |
User-agent: |
Gnus/5.11 (Gnus v5.11) Emacs/22.0.90 (gnu/linux) |
Eli Zaretskii <address@hidden> writes:
>> From: David Kastrup <address@hidden>
>> Date: Tue, 21 Nov 2006 23:23:37 +0100
>> Cc: Andreas Schwab <address@hidden>, Romain Francoise <address@hidden>,
>> Emacs Devel <address@hidden>
>>
>> Having different file names map to the same file is a recipe for
>> trouble.
>
> Then links are a recipe for trouble.
They certainly are, and this includes `.' and `..'. However, they
offer a reasonable tradeoff between trouble and utility.
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.
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.
And so forth and so on.
--
David Kastrup, Kriemhildstr. 15, 44793 Bochum
- Re: find-library-name fails if file (with no extension) exists., (continued)
- 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, 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 <=
- 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., 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