On Fri, 30 Aug 2019 10:25:10 -0600, Michael Torrie wrote: > No it is not. What kind of terminal are you using? I use Debian 9 with gnome desktop and the default gnome terminal.