[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: files.el: Patch to make project-settings optional/customizable
From: |
Juri Linkov |
Subject: |
Re: files.el: Patch to make project-settings optional/customizable |
Date: |
Wed, 19 Nov 2008 00:04:08 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/23.0.60 (x86_64-pc-linux-gnu) |
> > > > > I think it's generally good policy to avoid hardcoding file
> names.
> > > >
> > > > But general policy should not be applied without thinking about the
> > > > particulars of each case. As Tom said, there were some long
> > > > discussions about this, and I think that the opposite conclusion was
> > > > reached _for this particular case_. Just undoing that decision
> > > > without reviewing the previous discussions on this does not seem
> like
> > > > a good idea.
> > >
> > > I can't seem to find the discussion. Could you point me to it?
> >
> > I don't have anything handy, I'd guess that searching for
> > .dir-settings.el and Tom's name should be good enough.
> >
> > > (Even if we decide to hardcode the name, which I'm not convinced
> about,
> > > there needs to be a comment in the code explaining why.)
>
> Any news about this?
I agree with Juanma that the name .dir-settings.el is "ugly as hell".
Perhaps this is the reason why users want to customize it.
--
Juri Linkov
http://www.jurta.org/emacs/
- Re: files.el: Patch to make project-settings optional/customizable, (continued)
- Re: files.el: Patch to make project-settings optional/customizable, Chong Yidong, 2008/11/13
- Re: files.el: Patch to make project-settings optional/customizable, Dan Nicolaescu, 2008/11/13
- Re: files.el: Patch to make project-settings optional/customizable, Juanma Barranquero, 2008/11/13
- Re: files.el: Patch to make project-settings optional/customizable, Dan Nicolaescu, 2008/11/13
- Re: files.el: Patch to make project-settings optional/customizable, Juanma Barranquero, 2008/11/13
- Re: files.el: Patch to make project-settings optional/customizable, Tom Tromey, 2008/11/13
- Re: files.el: Patch to make project-settings optional/customizable, Juanma Barranquero, 2008/11/13
- Re: files.el: Patch to make project-settings optional/customizable, Chong Yidong, 2008/11/13
- Re: files.el: Patch to make project-settings optional/customizable, Dan Nicolaescu, 2008/11/13
- Re: files.el: Patch to make project-settings optional/customizable, Dan Nicolaescu, 2008/11/18
- Re: files.el: Patch to make project-settings optional/customizable,
Juri Linkov <=
- Re: files.el: Patch to make project-settings optional/customizable, Dan Nicolaescu, 2008/11/18
- Re: files.el: Patch to make project-settings optional/customizable, Juanma Barranquero, 2008/11/18
- Re: files.el: Patch to make project-settings optional/customizable, Dan Nicolaescu, 2008/11/18
- Re: files.el: Patch to make project-settings optional/customizable, Juanma Barranquero, 2008/11/18
- Re: files.el: Patch to make project-settings optional/customizable, Stefan Monnier, 2008/11/18
- Re: files.el: Patch to make project-settings optional/customizable, Chong Yidong, 2008/11/18
- Re: files.el: Patch to make project-settings optional/customizable, Dan Nicolaescu, 2008/11/18
- Re: files.el: Patch to make project-settings optional/customizable, Juanma Barranquero, 2008/11/18
- Re: files.el: Patch to make project-settings optional/customizable, Dan Nicolaescu, 2008/11/18
- Re: files.el: Patch to make project-settings optional/customizable, Chong Yidong, 2008/11/18