[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 06:14:40 +0200 |
> From: David Kastrup <address@hidden>
> Date: Wed, 22 Nov 2006 00:19:28 +0100
> Cc: Emacs Devel <address@hidden>
>
> > And plenty of successful operating systems have been
> > case-insensitive, so it is clearly not a bad idea, not unworkable,
>
> It is a constant source for trouble in scripts of all sorts. I guess
> about 20% of Windows installation problem reports with AUCTeX
> originate from capitalization mixups.
Because programmers should be educated to refrain from Posix-centric
assumptions.
> > nor particularly dangerous, difficult to implement, or hard on the
> > user. It's just another UI decision. One I like a lot.
>
> It is a constant trouble for programmers
For uneducated programmers. Those are the same programmers who think
there's no distinction between text and binary files (just yesterday
saw a SHA1 signature file on a prominent download site that failed to
mark binary files as needed, which made sha1sum very unhappy).
- 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., 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 <=
- 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