https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87488
--- Comment #19 from David Malcolm <dmalcolm at gcc dot gnu.org> --- (In reply to Jakub Jelinek from comment #18) > I came up independently with the same patch (sorry, wasn't aware a patch is > discussed in this PR, I've searched just the mailing list and nothing has > been posted), thus I've added you to attribution. Yes, it looks like the three of us each managed to write the same patch. Bother. Thanks for testing it and committing it. > In https://gcc.gnu.org/ml/gcc-patches/2019-12/msg00473.html > I'm mentioning the behavior of various terminals, ~ last year and ~ 4 years > ago. > What still worries me is the 4 years old gnome-terminal that emits garbage > to the screen for both sequences. > And, given that new GCC is quite often used with older setups, whether > running on some remote host over ssh etc., especially if this is enabled by > default, it is better to use something that works with more terminals. > Perhaps in a few years we can change it back to ST from BEL. I'm concerned about the behavior of this with the terminals shipped in existing distributions. Do we need a configure-time flag to allow distributions to configure the default for URLification? (e.g. perhaps turn it off by default for gcc 10 on older RHELs? I don't have a RHEL box handy here)
