[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: |
Romain Francoise |
Subject: |
Re: find-library-name fails if file (with no extension) exists. |
Date: |
Tue, 21 Nov 2006 19:24:26 +0100 |
This change is necessary to find the "foo.el.gz" file if `symbol-file'
returns that the definition is in "foo.el" -- since we compress source
files after installing them (on systems where gzip is present), trying
to find a file named foo.el will fail.
Note that the same problem existed before my change with files ending in
".elc".
I'm not sure if this is worth fixing before the release, this code is
very convoluted and there are quite a few corner cases. For example, if
you start Emacs with `emacs -Q', then do `C-h f erc RET', it says
erc is an interactive autoloaded Lisp function in `erc'.
^^^^^
Then if you M-: (require 'erc) RET and try again, it says
erc is an interactive compiled Lisp function in `erc.el'.
^^^^^^^^
This is because in the first case the filename is fetched from the
autoloads, and in the second case it's fetched from `load-history'.
So trying to generalize a method is tricky: it must work with "erc"
and "erc.el".
If it's any consolation, the bug you're describing doesn't happen on a
real system, where the filesystem is case-sensitive. ;-)
--
Romain Francoise <address@hidden> | The sea! the sea! the open
it's a miracle -- http://orebokech.com/ | sea! The blue, the fresh, the
| ever free! --Bryan W. Procter
- 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.,
Romain Francoise <=
- 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., Romain Francoise, 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., Romain Francoise, 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., Juanma Barranquero, 2006/11/22
- Re: find-library-name fails if file (with no extension) exists., Romain Francoise, 2006/11/22
- Message not available
- 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., Romain Francoise, 2006/11/22
- Re: find-library-name fails if file (with no extension) exists., Lennart Borgman, 2006/11/22