[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Customize may not be appropriate for older users
From: |
Francesco Potorti` |
Subject: |
Re: Customize may not be appropriate for older users |
Date: |
14 Jan 2002 11:25:32 +0100 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.1.50 |
I don't think these changes are needed, and they could be
inconvenient or troublesome. It is better not to do them.
I have another idea, which may be better.
Currently, I have this in my .emacs, just at the beginning:
(load "/etc/emacs/default" nil t)
(setq inhibit-default-init t)
That is, I exploit the excellent feature that allows me to either load
default.el at the beginning in order to override it, or else let it be
loaded at the end, which is the default.
I think that the same criterion could be used for the code generated by
customize: let it go in a ~/.emacs/customize.el file, and let it be
loaded just after ~/.emacs, but with the option of preventing its
loading by setting the variable inhibit-customize-init.
This scheme would be consistent with the one already used for
default.el, and would have the advantage of not mixing hand-made and
automatically generated code in the same file[1].
[1] In my opinion, any program which edits a hand-made file does A Bad
Thing.
- address@hidden: Re: I can back up over all kinds of prompts with C-b], Eli Zaretskii, 2002/01/08
- Message not available
- Message not available
- Message not available
- Message not available
- Re: Customize may not be appropriate for older users, Richard Stallman, 2002/01/12
- Re: Customize may not be appropriate for older users,
Francesco Potorti` <=
- Re: Customize may not be appropriate for older users, Eli Zaretskii, 2002/01/14
- Re: Customize may not be appropriate for older users, Francesco Potorti`, 2002/01/14
- Re: Customize may not be appropriate for older users, Eli Zaretskii, 2002/01/14
- Re: Customize may not be appropriate for older users, Francesco Potorti`, 2002/01/14
- Re: Customize may not be appropriate for older users, Henrik Enberg, 2002/01/14
- Re: Customize may not be appropriate for older users, Robert J. Chassell, 2002/01/14
- Re: Customize may not be appropriate for older users, Bill Wohler, 2002/01/14
- Re: Customize may not be appropriate for older users, Jason Rumney, 2002/01/14
- Re: Customize may not be appropriate for older users, Richard Stallman, 2002/01/15
- Re: Customize may not be appropriate for older users, Ehud Karni, 2002/01/14