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/main.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/main.c')
-rw-r--r-- | gdb/main.c | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1495,8 +1495,8 @@ GDB manual (available as on-line info or a printed manual).\n\ "), stream); if (REPORT_BUGS_TO[0] && stream == gdb_stdout) gdb_printf (stream, _("\n\ -Report bugs to %s.\n\ -"), REPORT_BUGS_TO); +Report bugs to %ps.\n\ +"), styled_string (file_name_style.style (), REPORT_BUGS_TO)); if (stream == gdb_stdout) gdb_printf (stream, _("\n\ You can ask GDB-related questions on the GDB users mailing list\n\ |