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

[Tom Tromey]

>>>>> "Pedro" == Pedro Alves <palves@redhat.com> writes:

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

Yeah, I agree; though I think safe mode should be the default and the
"-safe" command-line argument should only serve to disable
auto-load-local-gdbinit (or whatever the option will be called).

That way I can have auto-load-local-gdbinit by default for myself, but
also easily override it on the command line.

Tom