Re: [patch] New set auto-load-local-gdbinit + disable it by default

Pedro Alves
2012-01-17T20:22:01Z

On 01/17/2012 07:54 PM, Tom Tromey wrote:
> Jan> similiar to the extra VM. I plan to just merge the paragraph above
> Jan> into some user-accessible command-line option "-safe". I am just
> Jan> not sure how to load pretty printers from system libraries which
> Jan> are safe but which do not get loaded after "set auto-load-scripts
> Jan> off".
>
> Doug> Are we sure we want to claim to the user community -safe is, umm, safe?
> Doug> It seems like we're a fair ways from being ready to claim it, setting
> Doug> aside auto-loading.
>
> It seems to me that having the option would give us some impetus toward
> fixing the problems, if we can actually make them occur; and furthermore
> the option gives us a framework in which to fix all such problems,
> namely, check the flag.

Having to request a safe mode with an extra flag is a flawed design, IMO.
New, and non-aware-of-the-issues-implied (read, most) users, will just
not know about it, and will therefore not use it. IMO, if we'll have
a flag for something like this, its better to have a flag that does
the opposite, one that enables unsafe functionality. This also makes it
so that veteran users that trip on missing functionality they always
knew about, learn about the flags/options as consequence when they go
look for the alternatives.

--
Pedro Alves