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/utils.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/utils.c')
| -rw-r--r-- | gdb/utils.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/gdb/utils.c b/gdb/utils.c index 9ca268a..68bf3a6 100644 --- a/gdb/utils.c +++ b/gdb/utils.c @@ -404,8 +404,9 @@ internal_vproblem (struct internal_problem *problem, gdb_puts (_("\nThis is a bug, please report it."), gdb_stderr); if (REPORT_BUGS_TO[0]) - gdb_printf (gdb_stderr, _(" For instructions, see:\n%s."), - REPORT_BUGS_TO); + gdb_printf (gdb_stderr, _(" For instructions, see:\n%ps."), + styled_string (file_name_style.style (), + REPORT_BUGS_TO)); gdb_puts ("\n\n", gdb_stderr); if (problem->should_dump_core == internal_problem_ask) |