Re: [patch+7.5] auto-load: User conveniences suggested by Doug Evans

[Pedro Alves <palves@redhat.com>]

On 08/24/2012 04:12 PM, Jan Kratochvil wrote:
> On Wed, 22 Aug 2012 17:46:27 +0200, Pedro Alves wrote:
>> On 08/21/2012 03:43 PM, Jan Kratochvil wrote:
>>> +add \"set auto-load safe-path /\" line to \"%s\".\n\
>>> +For more information about this security protection run from the shell: \
>>> +info \"(gdb)Auto-loading safe path\"\n"),
>>> +		       filename_real, homeinit, homeinit);
>>
>> This may be cryptic, for instance, for Windows users who won't
>> have 'info' available in the shell.  How about something like:
>>
>>   For more information about this security protection see the
>>   "Auto-loading safe path" section in the GDB manual.
>>
>> ?
> 
> In such case I prefer to rather drop the line.  It is obvious one can find the
> information in GDB Manual.

I disagree.  The sentence says which section to look for.  There are many methods
to get at the manual.  E.g, a frontend may even have the manual embedded/indexed in
its help system.

> The goal was to make access to the information easy enough.
> 
> What about printing instead:
> 
> For more information about this security protection see: http://sourceware.org/gdb/onlinedocs/gdb/Auto_002dloading-safe-path.html

This points at the current/trunk version of GDB's docs, not the version that the user is running.
We shouldn't ever assume these urls are stable.

> 
> 
> Thanks,
> Jan

-- 
Pedro Alves