Re: [patch 4/6] set auto-load safe-path

[Eli Zaretskii <eliz@gnu.org>]

> Date: Sun, 25 Mar 2012 21:07:02 +0200
> From: Jan Kratochvil <jan.kratochvil@redhat.com>
> Cc: gdb-patches@sourceware.org
> 
> On Sat, 24 Mar 2012 20:18:38 +0100, Eli Zaretskii wrote:
> > > Date: Sat, 24 Mar 2012 19:39:46 +0100
> > > From: Jan Kratochvil <jan.kratochvil@redhat.com>
> > > 
> > > +set auto-load safe-path <dir1>[:<dir2>...]
> > > +show auto-load safe-path
> > > +  Sets a list of directories safe to hold auto-loaded files.
> > 
> >   Set a list of directories from which it is safe to auto-load files.
> 
> Used this one.
> 
> Changed also "Controls" to Control" in the other patch.
> 
> 
> > > +Set the directories safe to hold auto-loaded files."), _("\
> > > +Show the directories safe to hold auto-loaded files."), _("\
> > 
> > Same here.
> 
> I think here the texts used definite article "the", used that:
> 
> Set the list of directories from which it is safe to auto-load files."), _("\
> Show the list of directories from which it is safe to auto-load files."), _("\
> 
> 
> > This text should explain what happens if an auto-load file is found in
> > a directory not on this list.  Is it silently ignored? ignored with a
> > warning message? is the user prompted for permission to load it?
> > something else?
> 
> Reworked this section a bit.
> 
> There are intentionally no questions as it would be annoying to answer 'y'
> each time.  User should rather set it in the .gdbinit file or on commandline
> instead just once.

All are fine with me, thanks.