Re: [RFC] Add system-gdbinit infrastructure

[Joel Brobecker <brobecker@adacore.com>]

> You two files you put there are more GDB scripts, not configuration files.
> So it is probably OK for them but I just would not call this feature
> system-gdbinit, I find it more contrib-scripts.
> 
> system-gdbinit is /etc/gdbinit (Debian has some similar file there)
> which seems unrelated to this mail thread feature to me.

We added the --with-system-gdbinit configure option in order to
allow someone to build a GDB that would use another file as
the system-wide gdbinit. The distinction you are trying to
establish between what constitutes or not a system-wide gdbinit
seems artificial and unnecessary.

Anyone is free to configure its GDB in the way they want, and
in particular, to use the --with-system-gdbinit option to provide
a script (yes, a script) that would automatically setup their
GDB in a way that's actually useful to them. Many times, I am
sure, they will setup their own script based on their own setup.
But for the platforms this patch mentions, the scripts I provide
would work out of the box, and thus would be a suitable system-
wide init file.

And again, there is no harm possible, since the decision to
use them is voluntary, as GDB needs to be configured with
the appropriate --with-system-gdbinit switch in order to
enable the script of their choice.

-- 
Joel