Re: [PATCH 1/2] pretty-print: support URL escape sequences (PR 87488)

2019-12-15 Thread 王昊然
> Which revision of gcc is this? Using built-in specs. COLLECT_GCC=/opt/gcc-10.0-20191208/bin/gcc-10.0-20191208 COLLECT_LTO_WRAPPER=/opt/gcc-10.0-20191208/bin/../lib/gcc/x86_64-pc-linux-gnu/10.0.0/lto-wrapper Target: x86_64-pc-linux-gnu Configured with: ../gcc-10-20191208/configure

Re: [PATCH 1/2] pretty-print: support URL escape sequences (PR 87488)

2019-12-15 Thread David Malcolm
On Sun, 2019-12-15 at 19:38 +0800, 王昊然 wrote: > This patch has made my terminal beeps on every warning message, which > is so noisy. Sorry about this. > May be this feature should be disabled by default, unless enabled by > configure time option, runtime option or runtime environment >

Re: [PATCH 1/2] pretty-print: support URL escape sequences (PR 87488)

2019-12-15 Thread 王昊然
This patch has made my terminal beeps on every warning message, which is so noisy. May be this feature should be disabled by default, unless enabled by configure time option, runtime option or runtime environment variables.

Re: [PATCH 1/2] pretty-print: support URL escape sequences (PR 87488)

2019-12-06 Thread David Malcolm
On Sat, 2019-12-07 at 00:41 +0100, Jakub Jelinek wrote: > On Thu, Oct 10, 2019 at 01:06:13PM -0400, David Malcolm wrote: > > https://gist.github.com/egmontkob/eb114294efbcd5adb1944c9f3cb5feda > > describes an emerging standard for embedding URLs in escape > > sequences > > for marking up text

Re: [PATCH 1/2] pretty-print: support URL escape sequences (PR 87488)

2019-12-06 Thread Jakub Jelinek
On Thu, Oct 10, 2019 at 01:06:13PM -0400, David Malcolm wrote: > https://gist.github.com/egmontkob/eb114294efbcd5adb1944c9f3cb5feda > describes an emerging standard for embedding URLs in escape sequences > for marking up text output. This is supported e.g. by recent releases > of GNOME Terminal.

[PATCH 1/2] pretty-print: support URL escape sequences (PR 87488)

2019-10-10 Thread David Malcolm
https://gist.github.com/egmontkob/eb114294efbcd5adb1944c9f3cb5feda describes an emerging standard for embedding URLs in escape sequences for marking up text output. This is supported e.g. by recent releases of GNOME Terminal. This patch adds support to our pretty-printing framework for emitting