[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Add a separate mode for .dir-locals.el
From: |
Alan Mackenzie |
Subject: |
Re: Add a separate mode for .dir-locals.el |
Date: |
Thu, 17 Oct 2019 19:46:49 +0000 |
User-agent: |
Mutt/1.10.1 (2018-07-13) |
Hello, Stefan.
On Thu, Oct 17, 2019 at 14:08:45 -0400, Stefan Monnier wrote:
> > I say there should be no such new mode. The problems should be fixed in
> > fly*.el, which surely should be possible.
> It definitely does not belong in fly*.el which should know nothing about
> emacs-lisp-mode or any specific major mode for that matter.
Well, fly*.el needs to know _some_ things about its potential target
files. For example, that they can be sensibly submitted to make.
Determining this shouldn't require emacs-lisp-mode to be fragmented.
I don't know much about these fly* modes (I don't use them), but somehow
they must contain a mechanism analogous to auto-mode-alist which
determines whether (and possibly how) to submit a file to make. Surely
this mechanism is the place to filter out .dir-locals.el and similar
files.
> Stefan
--
Alan Mackenzie (Nuremberg, Germany).
- Re: Add a separate mode for .dir-locals.el, (continued)
- Re: Add a separate mode for .dir-locals.el, Eli Zaretskii, 2019/10/17
- Re: Add a separate mode for .dir-locals.el, Stefan Monnier, 2019/10/17
- Re: Add a separate mode for .dir-locals.el, Michael Albinus, 2019/10/18
- Re: Add a separate mode for .dir-locals.el, Eli Zaretskii, 2019/10/18
- Re: Add a separate mode for .dir-locals.el, Stefan Monnier, 2019/10/18
- Re: Add a separate mode for .dir-locals.el, Eli Zaretskii, 2019/10/19
- Re: Add a separate mode for .dir-locals.el, Stefan Monnier, 2019/10/19
- Re: Add a separate mode for .dir-locals.el, Eli Zaretskii, 2019/10/17
- Re: Add a separate mode for .dir-locals.el, Alan Mackenzie, 2019/10/17
- Re: Add a separate mode for .dir-locals.el, Stefan Monnier, 2019/10/17
- Re: Add a separate mode for .dir-locals.el,
Alan Mackenzie <=
- Re: Add a separate mode for .dir-locals.el, Stefan Monnier, 2019/10/17
- Re: Add a separate mode for .dir-locals.el, João Távora, 2019/10/17
- Re: Add a separate mode for .dir-locals.el, Alan Mackenzie, 2019/10/17
- Message not available
- Re: Add a separate mode for .dir-locals.el, Eli Zaretskii, 2019/10/17
- Re: Add a separate mode for .dir-locals.el, João Távora, 2019/10/17
Re: Add a separate mode for .dir-locals.el, Andreas Schwab, 2019/10/17