[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Add a separate mode for .dir-locals.el
|
From: |
Amin Bandali |
|
Subject: |
Re: Add a separate mode for .dir-locals.el |
|
Date: |
Thu, 17 Oct 2019 12:55:49 -0400 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux) |
Clément Pit-Claudel <address@hidden> writes:
[...]
>
> Yes, that would be great. As far as I'm concerned, there's no reason
> to call these files .el, since most of the emacs-lisp-mode tools are
> not appropriate on such files.
+1. Many other packages/files such as EBDB’s file-persistent database
could benefit from this, I think.
- Add a separate mode for .dir-locals.el, Clément Pit-Claudel, 2019/10/16
- Re: Add a separate mode for .dir-locals.el, Lars Ingebrigtsen, 2019/10/16
- Re: Add a separate mode for .dir-locals.el, Eli Zaretskii, 2019/10/17
- Re: Add a separate mode for .dir-locals.el, Clément Pit-Claudel, 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, Eli Zaretskii, 2019/10/17
- Re: Add a separate mode for .dir-locals.el, Clément Pit-Claudel, 2019/10/17
- Re: Add a separate mode for .dir-locals.el, Yuri Khan, 2019/10/17
- Re: Add a separate mode for .dir-locals.el, Clément Pit-Claudel, 2019/10/17
- Re: Add a separate mode for .dir-locals.el,
Amin Bandali <=
- 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, Dmitry Gutov, 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, João Távora, 2019/10/17
- Re: Add a separate mode for .dir-locals.el, Clément Pit-Claudel, 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, João Távora, 2019/10/17
- 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, Eli Zaretskii, 2019/10/17