all messages for Emacs-related lists mirrored at yhetil.org
 help / color / mirror / code / Atom feed
From: David Kastrup <dak@gnu.org>
Cc: Emacs Devel <emacs-devel@gnu.org>
Subject: Re: find-library-name fails if file (with no extension) exists.
Date: Wed, 22 Nov 2006 01:34:11 +0100	[thread overview]
Message-ID: <85fyccxqt8.fsf@lola.goethe.zz> (raw)
In-Reply-To: <f7ccd24b0611211601v34cb5692g70fc333d1809bdaf@mail.gmail.com> (Juanma Barranquero's message of "Wed\, 22 Nov 2006 01\:01\:35 +0100")

"Juanma Barranquero" <lekktu@gmail.com> writes:

> On 11/22/06, David Kastrup <dak@gnu.org> wrote:
>
>> Listing the directory.  Just
>> dir
>> and nothing else.
>
> Yes. It *preserves* the case. It does not attach any meaning to the
> difference. It just preserves it. That Is Good.

Four legs good, two legs bad.

>> It is your Windows system that throws the file name with the same
>> capitalization with which it was created back at you.
>
> Yes, a feature. Nice of you to add support to my position.

I did not notice myself doing so.

>> String equality is not a byproduct of "case-sensitive mindsets".
>
> No. I don't remember talking about string equality, but filenames.

File names are strings.

> I don't know why do you try to convince me that strings and names
> (of files, people, cities, whatever) are the same thing. They are
> not.

But scripts have to deal with file names as _strings_.

>> Tough.  I had, repeatedly so, as maintainer of AUCTeX and other
>> systems.  And I don't even use Windows myself.
>
> Surely because AUCTeX was written without giving thought to the
> weird idea that there could be case-insensitive systems in the
> world.

Yes, that is the problem with case-insensitive systems: unless you
give special consideration to the possibility of different file names
referring to the same file, things may break.  And since the case
sensitivity may depend on the file system of the local computer or
even of a remote server, there is no way to figure this out without
actually opening files.

If you want to find out whether a specified directory is in load-path,
for example, there is _no_ reliable way to find this out, thanks to
case insensitity.  There is no matching functions that guarantees to
have the same semantics regarding case sensitivity as any particular
file system on any particular operating system.

Is `Émilie' the same file as `émilie' under Windows?  If calling a
person on the street, it will answer to `Emilie' too, likely.  What
about `ἄνθροπος'? Is it the same as `Ἀνθροπος'?  After all, accents
are normally omitted when uppercasing.  Or should that equality be
reserved to `Ἄνθροπος'?

There are languages where some lowercase letters lose information when
converted into uppercase.

Should maybe files be the same if their Soundex rendition is the same?
Wouldn't it be a bad idea for `color' and `colour' to indicate
different file names?

Different characters->different filename is a simple rule, simple to
check, simple to implement, with dependable semantics.

-- 
David Kastrup, Kriemhildstr. 15, 44793 Bochum

  reply	other threads:[~2006-11-22  0:34 UTC|newest]

Thread overview: 69+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2006-11-21 16:22 find-library-name fails if file (with no extension) exists Juanma Barranquero
2006-11-21 18:24 ` Romain Francoise
2006-11-21 19:09   ` Juanma Barranquero
2006-11-21 20:07     ` Romain Francoise
2006-11-21 21:58       ` Juanma Barranquero
2006-11-22  7:28         ` Romain Francoise
2006-11-22 12:14           ` Juanma Barranquero
2006-11-22 12:35             ` Juanma Barranquero
2006-11-22 13:54             ` Romain Francoise
     [not found]               ` <f7ccd24b0611220644m1d8944dq5943175c347cde3e@mail.gmail.com>
2006-11-22 19:34                 ` Juanma Barranquero
2006-11-22 19:47                   ` Romain Francoise
2006-11-22 20:33                     ` Lennart Borgman
2006-11-22 21:02                       ` Juanma Barranquero
2006-11-21 20:07     ` Eli Zaretskii
2006-11-21 20:47     ` Andreas Schwab
2006-11-21 21:04       ` Lennart Borgman
2006-11-21 21:47       ` Juanma Barranquero
2006-11-21 21:48         ` Juanma Barranquero
2006-11-21 22:23         ` David Kastrup
2006-11-21 22:57           ` Juanma Barranquero
2006-11-21 23:19             ` David Kastrup
2006-11-21 23:25               ` Lennart Borgman
2006-11-21 23:33                 ` David Kastrup
2006-11-21 23:36                   ` Juanma Barranquero
2006-11-22  0:16                   ` Lennart Borgman
2006-11-22  0:47                     ` David Kastrup
2006-11-22  0:59                       ` Lennart Borgman
2006-11-22  1:04                         ` David Kastrup
2006-11-22  1:27                           ` Lennart Borgman
2006-11-22  1:56                             ` David Kastrup
2006-11-22  4:25                           ` Eli Zaretskii
2006-11-22  9:37                             ` Juanma Barranquero
2006-11-22 10:05                             ` David Kastrup
2006-11-22 18:44                               ` Eli Zaretskii
2006-11-22  4:22                       ` Eli Zaretskii
2006-11-22 10:03                         ` David Kastrup
2006-11-22 12:07                           ` Lennart Borgman
2006-11-22 12:46                             ` David Kastrup
2006-11-22 21:56                               ` Eli Zaretskii
2006-11-22 22:06                                 ` David Kastrup
2006-11-22 22:33                                   ` Eli Zaretskii
2006-11-23 19:47                                     ` Jan Djärv
2006-11-22 18:40                           ` Eli Zaretskii
2006-11-22 19:13                             ` David Kastrup
2006-11-22 22:04                               ` Eli Zaretskii
2006-11-22  4:17                   ` Eli Zaretskii
2006-11-21 23:34               ` Juanma Barranquero
2006-11-21 23:52                 ` David Kastrup
2006-11-22  0:01                   ` Juanma Barranquero
2006-11-22  0:34                     ` David Kastrup [this message]
2006-11-22  0:38                       ` Juanma Barranquero
2006-11-22  9:53                       ` Andreas Schwab
2006-11-22  4:14               ` Eli Zaretskii
2006-11-22  9:53                 ` David Kastrup
2006-11-22 18:38                   ` Eli Zaretskii
2006-11-22 19:27                     ` David Kastrup
2006-11-22 22:09                       ` Eli Zaretskii
2006-11-22 22:18                         ` David Kastrup
2006-11-22 13:16             ` Richard Stallman
2006-11-22 14:48               ` Juanma Barranquero
2006-11-24 22:49                 ` Richard Stallman
2006-11-22  4:10           ` Eli Zaretskii
2006-11-22  9:35             ` David Kastrup
2006-11-22 18:43               ` Eli Zaretskii
2006-11-22 19:25                 ` David Kastrup
2006-11-27 19:32               ` Stuart D. Herring
2006-11-27 19:06             ` Stuart D. Herring
2006-11-28 19:19               ` Eli Zaretskii
2006-11-21 20:06   ` Eli Zaretskii

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=85fyccxqt8.fsf@lola.goethe.zz \
    --to=dak@gnu.org \
    --cc=emacs-devel@gnu.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
Code repositories for project(s) associated with this external index

	https://git.savannah.gnu.org/cgit/emacs.git
	https://git.savannah.gnu.org/cgit/emacs/org-mode.git

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.