[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: |
Chong Yidong |
Subject: |
Re: files.el: Patch to make project-settings optional/customizable |
Date: |
Thu, 13 Nov 2008 13:26:40 -0500 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/23.0.60 (gnu/linux) |
Dan Nicolaescu <address@hidden> writes:
> > 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?
(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.)
- Re: files.el: Patch to make project-settings optional/customizable, (continued)
- 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/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, 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 <=
- 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, 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, 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