[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:38:24 +0200 |
> Cc: address@hidden, address@hidden
> From: David Kastrup <address@hidden>
> Date: Wed, 22 Nov 2006 10:53:46 +0100
>
> That file names are strings is not Posix-centric.
Most other filesystems are case-insensitive.
> Avoiding complications in design is not just a question of
> accommodating "uneducated programmers".
Simple designs have their demerits as well. Witness the "cat
/usr/bin/emacs" snafu on Unix, where you can have yourself logged off
or hanged due to the fact that text and binary data are not
indistinguishable by design.
- 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/22
- 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., Juanma Barranquero, 2006/11/21
- Re: find-library-name fails if file (with no extension) exists., David Kastrup, 2006/11/21
- Re: find-library-name fails if file (with no extension) exists., Juanma Barranquero, 2006/11/21
- Re: find-library-name fails if file (with no extension) exists., David Kastrup, 2006/11/21
- Re: find-library-name fails if file (with no extension) exists., Juanma Barranquero, 2006/11/21
- Re: find-library-name fails if file (with no extension) exists., Andreas Schwab, 2006/11/22
- 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., 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, 2006/11/22
- Re: find-library-name fails if file (with no extension) exists., David Kastrup, 2006/11/22