Style URLs in GDB output

I noticed that GDB will display URLs in a few spots.  This changes
them to be styled.  Originally I thought I'd introduce a new "url"
style, but there aren't many places to use this, so I just reused
filename styling instead.  This patch also changes the debuginfod URL
list to be printed one URL per line.  I think this is probably a bit
easier to read.

1 files changed, 10 insertions, 4 deletions

diff --git a/gdb/top.c b/gdb/top.c
index ecd3145..c7ff674 100644
--- a/gdb/top.c
+++ b/gdb/top.c
@@ -1428,9 +1428,11 @@ print_gdb_version (struct ui_file *stream, bool interactive)
      there is no warranty.  */
 
   gdb_printf (stream, "\
-License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>\
+License GPLv3+: GNU GPL version 3 or later <%ps>\
 \nThis is free software: you are free to change and redistribute it.\n\
-There is NO WARRANTY, to the extent permitted by law.");
+There is NO WARRANTY, to the extent permitted by law.",
+		    styled_string (file_name_style.style (),
+				   "http://gnu.org/licenses/gpl.html"));
 
   if (!interactive)
     return;
@@ -1459,11 +1461,15 @@ There is NO WARRANTY, to the extent permitted by law.");
     {
       gdb_printf (stream,
 		  _("For bug reporting instructions, please see:\n"));
-      gdb_printf (stream, "%s.\n", REPORT_BUGS_TO);
+      gdb_printf (stream, "%ps.\n",
+		  styled_string (file_name_style.style (),
+				 REPORT_BUGS_TO));
     }
   gdb_printf (stream,
 	      _("Find the GDB manual and other documentation \
-resources online at:\n    <http://www.gnu.org/software/gdb/documentation/>."));
+resources online at:\n    <%ps>."),
+	      styled_string (file_name_style.style (),
+			     "http://www.gnu.org/software/gdb/documentation/"));
   gdb_printf (stream, "\n\n");
   gdb_printf (stream, _("For help, type \"help\".\n"));
   gdb_printf (stream,