more like a fix now for terminal title

seems to preserve title properly when actually running it; had botched name of app (xwininfo) to check for existence of

diff --git a/scripts/tty/terminal_titler.sh b/scripts/tty/terminal_titler.sh
index 7201784c160caa2f52a4c1a88f8614c091d74236..7ced5c9fc83caa8093a303fb5406a936b29c39aa 100644 (file)
--- a/scripts/tty/terminal_titler.sh
+++ b/scripts/tty/terminal_titler.sh
@@ -51,7 +51,7 @@ function get_terminal_title()
   which xprop &>/dev/null
   if [ $? -eq 0 ]; then
     # gnome-terminal doesn't set WINDOWID currently, but we can work around this.
-    if [[ -z "$WINDOWID" && ! -z "$(which wininfo)" ]]; then
+    if [[ -z "$WINDOWID" && ! -z "$(which xwininfo)" ]]; then
 #not good solution.      term_title_found="$(xprop -id $(xdotool getactivewindow) | perl -nle 'print $1 if /^WM_NAME.+= \"(.*)\"$/')"
       term_title_found=$(xwininfo -id $(xprop -root | awk '/NET_ACTIVE_WINDOW/ { print $5; exit }') | awk -F\" '/xwininfo:/ { print $2; exit }')
     # check if we're actually using xterm *and* that we have a window ID.