Alex Kost <alez...@gmail.com> writes: > Ludovic Courtès (2015-09-29 22:16 +0300) wrote: >> How does that sound? > > I'd like to have them in "guix-devel.el", but I don't see the reason for > duplicating. I think they either should be placed in "guix-devel.el" > (surely the right thing for me :-)) or stay in ".dir-locals.el" (I'm > afraid the right thing for the most :-().
I prefer to keep them in “.dir-locals.el” too, since it doesn't require manual configuration from the user. -- Mathieu Lirzin
