https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87488
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jakub at gcc dot gnu.org
--- Comment #18 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
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.
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.
