[doc patch] auto-load: Make more set auto-load safe-path references [Re: [patch#3 5/8] set auto-load safe-path]

[Joel Brobecker]

> attached.

Thanks!

> > And lastly, it would have been nice if, after reading the documentation,
> > the user could have had a sense of what policy GDB implements by default.
> > For instance, GDB's default policy is to enable auto-loading of all
> > files, but only from trusted directories specified via the "auto-load
> > safe-path" setting.
> 
> There is already that paragraph (in Node: Auto-loading safe path):
> 
>    Setting this variable to `/' disables this security protection,
> corresponding GDB configuration option is
> `--without-auto-load-safe-path'.  This variable is supposed to be set
> to the system directories writable by the system superuser only.  Users
> can add their source directories in init files in their home
> directories (*note Home Directory Init File::).  See also deprecated
> init file in the current directory (*note Init File in the Current
> Directory during Startup::).
> 
> Do you find it insufficient?

I just find it more logical to have it at the beginning, rather than
the end. The way I see it, "set auto-load safe-path" is the first
barrier involved in determining whether to auto-load a file or not.

But I'm fine either way. I think your patch is already a good
improvement as it is.

Thanks, Jan.
-- 
Joel