[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Add a separate mode for .dir-locals.el
From: |
Eli Zaretskii |
Subject: |
Re: Add a separate mode for .dir-locals.el |
Date: |
Mon, 21 Oct 2019 16:15:09 +0300 |
> From: Dmitry Gutov <address@hidden>
> Date: Mon, 21 Oct 2019 15:43:09 +0300
> Cc: address@hidden, address@hidden, address@hidden,
> address@hidden
>
> > That's why I said this issue needs to be investigated and the
> > conclusions posted and discussed, before we can design a coherent
> > feature to support such files. Doing that in a hurry, based on a
> > single incident and only on some vague ideas what other aspects of
> > these files may need handling, doesn't sound wise to me, especially as
> > the rest of the issues, whatever they are, cannot be urgent, judging
> > by the lack of complaints.
>
> It is indeed not urgent. I think it's an argument to postpone the
> proposed change (new major mode and stuff) until after Emacs 27. But not
> against doing it in general.
It depends on what will be conclusions of the investigation. Maybe it
will find some good reasons to do this even in Emacs 27, although I'd
be surprised. But my point about the "hurry" was not about
postponing, it was that we shouldn't make the decision before we have
a good understanding of the problem beyond the specific issue with
.dir-locals.el
- Re: Add a separate mode for .dir-locals.el, (continued)
- Re: Add a separate mode for .dir-locals.el, Eli Zaretskii, 2019/10/19
- Re: Add a separate mode for .dir-locals.el, Clément Pit-Claudel, 2019/10/19
- Re: Add a separate mode for .dir-locals.el, Dmitry Gutov, 2019/10/19
- Re: Add a separate mode for .dir-locals.el, Alan Mackenzie, 2019/10/19
- Re: Add a separate mode for .dir-locals.el, Dmitry Gutov, 2019/10/19
- Re: Add a separate mode for .dir-locals.el, Eli Zaretskii, 2019/10/20
- Re: Add a separate mode for .dir-locals.el, João Távora, 2019/10/20
- Re: Add a separate mode for .dir-locals.el, Juri Linkov, 2019/10/20
- Re: Add a separate mode for .dir-locals.el, João Távora, 2019/10/20
- Re: Add a separate mode for .dir-locals.el, Dmitry Gutov, 2019/10/21
- Re: Add a separate mode for .dir-locals.el,
Eli Zaretskii <=
- Re: Add a separate mode for .dir-locals.el, Dmitry Gutov, 2019/10/21
- Re: Add a separate mode for .dir-locals.el, João Távora, 2019/10/21
- Re: Add a separate mode for .dir-locals.el, Eli Zaretskii, 2019/10/21
- Re: Add a separate mode for .dir-locals.el, Dmitry Gutov, 2019/10/19
- Re: Add a separate mode for .dir-locals.el, Eli Zaretskii, 2019/10/20
- Re: Add a separate mode for .dir-locals.el, Dmitry Gutov, 2019/10/20
- Re: Add a separate mode for .dir-locals.el, Eli Zaretskii, 2019/10/21
- Re: Add a separate mode for .dir-locals.el, João Távora, 2019/10/21
- Re: Add a separate mode for .dir-locals.el, Eli Zaretskii, 2019/10/21
- Re: Add a separate mode for .dir-locals.el, João Távora, 2019/10/21