Re: Add support for --with-system-gdbinit

[Eli Zaretskii <eliz@gnu.org>]

> Date: Wed, 14 Jan 2009 14:49:22 -0500
> From: Daniel Jacobowitz <drow@false.org>
> Cc: gdb-patches@sourceware.org, guitton@adacore.com
> 
> On Wed, Jan 14, 2009 at 09:37:55PM +0200, Eli Zaretskii wrote:
> > > The path will be automatically relocated if the GDB binary is moved,
> > > so it can be used for a system-wide directory like /etc or a
> > > prefixed directory like /opt/vendor/share.
> > 
> > Sorry, I don't understand: what does this mean?  How does one
> > ``relocate a path''?
> 
> If you configure GDB using --prefix=$prefix
> --with-system-gdbinit=$prefix/etc/gdbinit, then a GDB installed in
> $prefix/bin will load $prefix/etc/gdbinit at startup.  If the tree
> is copied to /other/prefix, then GDB will load
> /other/prefix/etc/gdbinit.

If GDB can detect the right prefix for the system-wide gdbinit file,
why does it need to be configured for a specific place ($prefix/etc)
to begin with?

> There isn't a standard name.  It's just whatever is given to the
> configure option.

Yes, I saw that much in the patch.

> Do you think it should have a standard name?

Yes, that would at least give the reader a starting point to look.

> Having --help print it out sounds wise to me.

I don't see how we can do less than that.