fixed terminal title problem
authorChris Koeritz <fred@gruntose.com>
Wed, 15 Aug 2018 14:05:28 +0000 (10:05 -0400)
committerChris Koeritz <fred@gruntose.com>
Wed, 15 Aug 2018 14:05:28 +0000 (10:05 -0400)
working around gnome-terminal not supplying WINDOWID by using xdotool.  sigh.  yet another workaround requiring an extra software install.


No differences found