This is the mail archive of the gdb-patches@sourceware.org mailing list for the GDB project.

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [RFC] Add system-gdbinit infrastructure

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
Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]