[patch+7.5] auto-load: User conveniences suggested by Doug Evans
Pedro Alves
palves@redhat.com
Fri Aug 24 15:17:00 GMT 2012
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
More information about the Gdb-patches
mailing list