[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Various fixes for early init file changes
From: |
Radon Rosborough |
Subject: |
Re: [PATCH] Various fixes for early init file changes |
Date: |
Mon, 19 Mar 2018 13:16:35 -0700 |
> Disabling should be easy for anyone, including novices.
I agree with your philosophy but in this case allowing such disabling
would actually do more harm than good. It's not a matter of a choice
being made for the user, it's just a case of their init-file is wrong
and needs to be fixed (otherwise it will load slower). Let's be
pragmatic here and recognize that since basically every user of Emacs
is going to see this message, if there is any way for the user to mess
up, it will happen hundreds of times.
Stefan's suggestion is of course the right answer, I think: the user
is given an option to fix the warning, not disable it.
- Re: [PATCH] Various fixes for early init file changes, (continued)
- Re: [PATCH] Various fixes for early init file changes, Radon Rosborough, 2018/03/09
- Re: [PATCH] Various fixes for early init file changes, Noam Postavsky, 2018/03/09
- Re: [PATCH] Various fixes for early init file changes, Eli Zaretskii, 2018/03/19
- Re: [PATCH] Various fixes for early init file changes, Robert Pluim, 2018/03/19
- Re: [PATCH] Various fixes for early init file changes, Radon Rosborough, 2018/03/19
- Re: [PATCH] Various fixes for early init file changes, Stefan Monnier, 2018/03/19
- Re: [PATCH] Various fixes for early init file changes, Radon Rosborough, 2018/03/19
- Re: [PATCH] Various fixes for early init file changes, Stefan Monnier, 2018/03/19
- Re: [PATCH] Various fixes for early init file changes, Radon Rosborough, 2018/03/19
- RE: [PATCH] Various fixes for early init file changes, Drew Adams, 2018/03/19
- Re: [PATCH] Various fixes for early init file changes,
Radon Rosborough <=
- Re: [PATCH] Various fixes for early init file changes, Clément Pit-Claudel, 2018/03/19
- Re: [PATCH] Various fixes for early init file changes, Radon Rosborough, 2018/03/20
- Re: [PATCH] Various fixes for early init file changes, Clément Pit-Claudel, 2018/03/20
- Re: Various fixes for early init file changes, Andy Moreton, 2018/03/20
- Re: Various fixes for early init file changes, Radon Rosborough, 2018/03/20
- Re: Various fixes for early init file changes, Robert Pluim, 2018/03/20
- Re: Various fixes for early init file changes, Radon Rosborough, 2018/03/20
- Re: Various fixes for early init file changes, Robert Pluim, 2018/03/21