[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 01:31:51 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/23.0.60 (x86_64-pc-linux-gnu) |
>> 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.
>
> The admin subdir "CVS" has a name that's very troublesome, yet CVS
> offers no way to change it, and it's a good thing.
>
> If you want to change .dir-settings.el, the say so and re-open the
> discussion about the choice. But making it customizable is wrong.
I propose to do two things:
1. change `project-settings-file' from defcustom to defvar,
thus making it non-customizable, but still leaving a way to
modify it for knowledgeable people when necessary;
2. find a better file name that it both short and easy to connect
to the Emacs feature that uses 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, 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
- Re: files.el: Patch to make project-settings optional/customizable, Juanma Barranquero, 2008/11/19
- Re: files.el: Patch to make project-settings optional/customizable, Richard M. Stallman, 2008/11/19
- Re: files.el: Patch to make project-settings optional/customizable,
Juri Linkov <=
- 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, Juanma Barranquero, 2008/11/19
- Re: files.el: Patch to make project-settings optional/customizable, Dan Nicolaescu, 2008/11/19
- Re: files.el: Patch to make project-settings optional/customizable, Juri Linkov, 2008/11/19
- Re: files.el: Patch to make project-settings optional/customizable, Tom Tromey, 2008/11/19
- Re: files.el: Patch to make project-settings optional/customizable, Stefan Monnier, 2008/11/19
- Re: files.el: Patch to make project-settings optional/customizable, Juri Linkov, 2008/11/22
- Re: files.el: Patch to make project-settings optional/customizable, Dan Nicolaescu, 2008/11/22
- Re: files.el: Patch to make project-settings optional/customizable, Juri Linkov, 2008/11/22