This post is unavailable.
Perhaps. I have been using gnome-terminal and derivatives for a very long time.

Oct 16, 2017 ยท 10:20 AM UTC