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)
commit92085a5a47db220490e1133e889b04322346f9bf
treee1f649761e39668751e20b95ba793bd4ea9a90d4
parent50cbf032de87aead124a5f6566bd1d87610fb40f
fixed terminal title problem

working around gnome-terminal not supplying WINDOWID by using xdotool.  sigh.  yet another workaround requiring an extra software install.
scripts/tty/terminal_titler.sh