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

Tom Tromey
2012-01-17T19:54:53Z

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.

Tom