diff options
| author | Tom Tromey <tom@tromey.com> | 2022-03-09 17:26:37 -0700 |
|---|---|---|
| committer | Tom Tromey <tom@tromey.com> | 2022-03-31 18:01:38 -0600 |
| commit | 8839e3f3b0d1af5d93ba1d4f667ce33936bb7db2 (patch) | |
| tree | 3415fb5146ff047711b8fad2c594443a7c52bcb6 /gdb/top.c | |
| parent | d7abb2c4bd748e5fc54f3e2585fe295fb60300f0 (diff) | |
| download | gdb-8839e3f3b0d1af5d93ba1d4f667ce33936bb7db2.zip gdb-8839e3f3b0d1af5d93ba1d4f667ce33936bb7db2.tar.gz gdb-8839e3f3b0d1af5d93ba1d4f667ce33936bb7db2.tar.bz2 | |
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.
Diffstat (limited to 'gdb/top.c')
| -rw-r--r-- | gdb/top.c | 14 |
1 files changed, 10 insertions, 4 deletions
@@ -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, |