[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: CVS directories in completion-ignored-extensions
From: |
Richard Stallman |
Subject: |
Re: CVS directories in completion-ignored-extensions |
Date: |
Sun, 04 Jan 2004 13:53:57 -0500 |
> Couldn't we simply say that if a directory name (an element ending in
> a /) is present in completion-ignored-extensions, it must match the
> directory name exactly?
Richard, I tend to think that this is the best proposition for a
solution in this thread. In addition to being the simplest, it is
also 100% backwards-compatible, at least as far as the user interface
and the semantics of the default value of the option
completion-ignored-extensions are concerned.
This is undesirable because it contradicts the name
`completion-ignored-extensions'. That's why I suggested adding a new
variable `completion-ignored-names'.
- Re: CVS directories in completion-ignored-extensions, Eli Zaretskii, 2004/01/01
- Re: CVS directories in completion-ignored-extensions, Kim F. Storm, 2004/01/01
- Re: CVS directories in completion-ignored-extensions, Richard Stallman, 2004/01/01
- Re: CVS directories in completion-ignored-extensions, Kim F. Storm, 2004/01/01
- Re: CVS directories in completion-ignored-extensions, Eli Zaretskii, 2004/01/02
- Re: CVS directories in completion-ignored-extensions, Eli Zaretskii, 2004/01/03
- Re: CVS directories in completion-ignored-extensions,
Richard Stallman <=
- Re: CVS directories in completion-ignored-extensions, Stefan Monnier, 2004/01/04
- Re: CVS directories in completion-ignored-extensions, Miles Bader, 2004/01/04
- Re: CVS directories in completion-ignored-extensions, Richard Stallman, 2004/01/05
- Re: CVS directories in completion-ignored-extensions, Miles Bader, 2004/01/05
- Re: CVS directories in completion-ignored-extensions, Kenichi Handa, 2004/01/05
- Re: CVS directories in completion-ignored-extensions, Miles Bader, 2004/01/05
- Re: CVS directories in completion-ignored-extensions, Kenichi Handa, 2004/01/05
- Re: CVS directories in completion-ignored-extensions, Eli Zaretskii, 2004/01/06
- Re: CVS directories in completion-ignored-extensions, Miles Bader, 2004/01/06
- Re: CVS directories in completion-ignored-extensions, Richard Stallman, 2004/01/06