[RFC] Add system-gdbinit infrastructure

[Jan Kratochvil]

On Tue, 18 Dec 2012 19:05:55 +0100, Joel Brobecker wrote:
> 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.

I have only now found out how you intend to use the scripts, for example by:
	./configure --with-system-gdbinit=/usr/share/gdb/system-gdbinit/elinos.py
or
	./configure --with-system-gdbinit=/usr/share/gdb/system-gdbinit/wrs-linux.py

It makes sense to me now.

Or one could also do:
	./configure --with-system-gdbinit=/etc/gdbinit
/etc/gdbinit:
	source /usr/share/gdb/system-gdbinit/elinos.py

OK, I see this is really orthogonal to the "source" command wildcard feature.


Regards,
Jan