Re: [rfc] Add help text to start-up text

[Phil Muldoon <pmuldoon@redhat.com>]

On 13/06/13 10:12, Pedro Alves wrote:
> On 06/12/2013 08:50 PM, Phil Muldoon wrote:
>> This patch proposes to add a few items to the GDB start-up text to
>> provide some indication on where the user can find help.

> I think at least the help and apropos bits are going to be super useful.
> I like that a lot.
> 
>> +  fprintf_filtered (stream, _("The GDB manual can be found online at:\n\
>> +<http://www.gnu.org/software/gdb/documentation/>\n"));
>> +  fprintf_filtered (stream, _("The GDB wiki can be found online at:\n\
>> +<http://sourceware.org/gdb/wiki/>\n\n"));

I've updated the patch with yours and other reviewers' suggestions.
The start-up text now reads:


GNU gdb (GDB) 7.6.50.20130612-cvs
Copyright (C) 2013 Free Software Foundation, Inc.
License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>
This is free software: you are free to change and redistribute it.
There is NO WARRANTY, to the extent permitted by law.  Type "show copying"
and "show warranty" for details.
This GDB was configured as "x86_64-unknown-linux-gnu".
Type "show configuration" for configuration details.
For bug reporting instructions, please see:
<http://www.gnu.org/software/gdb/bugs/>.
Find the GDB manual and other documentation resources online at:
<http://www.gnu.org/software/gdb/documentation/>.
For help, type "help".
Type "apropos word" to search for commands related to "word".



What do you think?

Cheers

Phil


2013-06-21  Phil Muldoon  <pmuldoon@redhat.com>

	* top.c (print_gdb_version): Add help, apropos description and
	url to online documentation.

--

diff --git a/gdb/top.c b/gdb/top.c
index 8ac756f..529a784 100644
--- a/gdb/top.c
+++ b/gdb/top.c
@@ -1156,8 +1156,14 @@ Type \"show configuration\" for configuration details.");
     {
       fprintf_filtered (stream,
 			_("\nFor bug reporting instructions, please see:\n"));
-      fprintf_filtered (stream, "%s.", REPORT_BUGS_TO);
+      fprintf_filtered (stream, "%s.\n", REPORT_BUGS_TO);
     }
+  fprintf_filtered (stream,
+		    _("Find the GDB manual and other documentation \
+resources online at:\n<http://www.gnu.org/software/gdb/documentation/>.\n"));
+  fprintf_filtered (stream, _("For help, type \"help\".\n"));
+  fprintf_filtered (stream, _("Type \"apropos word\" to search for \
+commands related to \"word\".\n"));
 }
 
 /* Print the details of GDB build-time configuration.  */