X-Git-Url: https://feistymeow.org/gitweb/?a=blobdiff_plain;f=scripts%2Ftty%2Fterminal_titler.sh;h=8bc6ccd36d3c31b1145b3df0c1c401d58414beba;hb=7b39f7e279005c8466ef508220a532ce2aa4abf8;hp=f4a18282bac6fd7e2212c4726044e60f2bb4ba82;hpb=91144ef11b2aff0939c57c00badcd642d84931f8;p=feisty_meow.git

diff --git a/scripts/tty/terminal_titler.sh b/scripts/tty/terminal_titler.sh
index f4a18282..8bc6ccd3 100644
--- a/scripts/tty/terminal_titler.sh
+++ b/scripts/tty/terminal_titler.sh
@@ -1,71 +1,15 @@
 #!/bin/bash
 
 source "$FEISTY_MEOW_SCRIPTS/core/functions.sh"
+source "$FEISTY_MEOW_SCRIPTS/core/common.alias"
 
-# just saying this is an array...
-#declare -a PRIOR_TERMINAL_TITLES
-
-# set the stack position if not already set.
-if [ -z "$PTT_STACK_INDEX" ]; then
-  # this variable records where we will push new items on the stack.
-  PTT_STACK_INDEX=0
-fi
-
-# returns okay (0) if the stack is empty, or non-zero if not empty.
-function ptt_stack_empty()
-{
-  if [ -z "$PTT_STACK_INDEX" ]; then
-    # fix the index value.
-    PTT_STACK_INDEX=0
-    true
-  else
-    test $PTT_STACK_INDEX -le 0
-  fi
-}
-
-# a debugging function that should never have been necessary.
-# a little bit furious the restore is failing during regenerate right now.
-function show_terminal_titles()
-{
-  sep 14
-  echo "[terminal title list now has...]"
-  local i=${#PRIOR_TERMINAL_TITLES[@]}
-  if ptt_stack_empty; then
-    echo the terminal title list is empty.
-  else
-    while ((i--)); do
-      echo "ent #$i: '${PRIOR_TERMINAL_TITLES[$i]}'"
-    done
-  fi
-  sep 14
-}
-
-# adds an entry into the stack of terminal titles.
-function push_ptt_stack()
-{
-  PRIOR_TERMINAL_TITLES[$PTT_STACK_INDEX]="$*"
-  ((PTT_STACK_INDEX++))
-#echo stack index incremented and now at $PTT_STACK_INDEX
-#show_terminal_titles
-}
-
-function pop_ptt_stack()
-{
-  if [ $PTT_STACK_INDEX -le 0 ]; then
-    echo nothing to pop from prior terminal titles stack.
-  else
-    ((PTT_STACK_INDEX--))
-#echo stack index decremented and now at $PTT_STACK_INDEX
-    CURRENT_TERM_TITLE="${PRIOR_TERMINAL_TITLES[$PTT_STACK_INDEX]}"
-#echo "got the last title as '$CURRENT_TERM_TITLE'"
-#show_terminal_titles
-  fi
-}
+# uncomment this to get extra noisy debugging.
+#export DEBUG_TERM_TITLE=true
 
 # puts a specific textual label on the terminal title bar.
 # this doesn't consider any previous titles; it just labels the terminal.
 # the title may not be visible in some window managers.
-function set_terminal_title()
+function apply_title_to_terminal()
 {
   title="$*"
   # if we weren't given a title, then use just the hostname.  this is the degraded functionality.
@@ -73,17 +17,24 @@ function set_terminal_title()
     title="$(hostname)"
   fi
   
-  if [ -z "$PS1" ]; then
+  if [ "${TERM}" != "dumb" -a -z "$PBS_ENVIRONMENT" -a ! -z "$PS1" ]; then
+    echo -n -e "\033]0;${title}\007"
+  else
     # not running interactively, so just echo the title.
     sep
     echo ${title}
     sep
-  else
-    echo -n -e "\033]0;${title}\007"
   fi
 }
 
-# reads the current terminal title, if possible, and saves it to our stack of titles.
+# user friendly version that saves the title being added.
+function set_terminal_title()
+{
+  apply_title_to_terminal $*
+  save_terminal_title
+}
+
+# reads the current terminal title, if possible, and saves it to our record.
 function save_terminal_title()
 {
   # save the former terminal title if we're running in X with xterm.
@@ -93,10 +44,14 @@ function save_terminal_title()
     if [[ "$TERM" =~ .*"xterm".* && ! -z "$WINDOWID" ]]; then
       local prior_title="$(xprop -id $WINDOWID | perl -nle 'print $1 if /^WM_NAME.+= \"(.*)\"$/')"
       if [ ! -z "$prior_title" ]; then
-#echo "saving prior terminal title as '$prior_title'"
-        push_ptt_stack "$prior_title"
-#      else
-#echo "not saving prior terminal title which was empty"
+        if [ ! -z "$DEBUG_TERM_TITLE" ]; then
+          echo "saving prior terminal title as '$prior_title'"
+        fi
+        export PRIOR_TERMINAL_TITLE="$prior_title"
+      else
+        if [ ! -z "$DEBUG_TERM_TITLE" ]; then
+          echo "not saving prior terminal title which was empty"
+        fi
       fi
     fi
   fi
@@ -110,10 +65,11 @@ function restore_terminal_title()
 #  if [ -z "$(echo $* | grep git)" ]; then
 
   # run the terminal labeller to restore the prior title, if there was one.
-  if ! ptt_stack_empty; then
-    pop_ptt_stack
-#echo "restoring prior terminal title of '$CURRENT_TERM_TITLE'"
-    set_terminal_title "$CURRENT_TERM_TITLE"
+  if [ ! -z "$PRIOR_TERMINAL_TITLE" ]; then
+    if [ ! -z "$DEBUG_TERM_TITLE" ]; then
+      echo "restoring prior terminal title of '$PRIOR_TERMINAL_TITLE'"
+    fi
+    apply_title_to_terminal "$PRIOR_TERMINAL_TITLE"
   fi
 }
 
@@ -121,7 +77,10 @@ function restore_terminal_title()
 function label_terminal_with_info()
 {
   # we only label the terminal anew if there's no saved title.
-  if ptt_stack_empty; then
+  if [ -z "$PRIOR_TERMINAL_TITLE" ]; then
+    if [ ! -z "$DEBUG_TERM_TITLE" ]; then
+      echo "showing new generated title since prior title was empty"
+    fi
     pruned_host=$(echo $HOSTNAME | sed -e 's/^\([^\.]*\)\..*$/\1/')
     date_string=$(date +"%Y %b %e @ %T")
     user=$USER
@@ -130,14 +89,15 @@ function label_terminal_with_info()
       user=$USERNAME
     fi
     new_title="-- $user@$pruned_host -- [$date_string]"
-    set_terminal_title "$new_title"
+    apply_title_to_terminal "$new_title"
+    save_terminal_title
   else
     # use the former title; paste it back up there just in case.
-#echo "showing prior terminal title since there was a prior title!"
-    pop_ptt_stack
-#echo "using prior terminal title of '$CURRENT_TERM_TITLE'"
-    set_terminal_title "$CURRENT_TERM_TITLE"
-    push_ptt_stack "$CURRENT_TERM_TITLE"
+    if [ ! -z "$DEBUG_TERM_TITLE" ]; then
+      echo "showing prior terminal title since there was a prior title!"
+      echo "using prior terminal title of '$PRIOR_TERMINAL_TITLE'"
+    fi
+    apply_title_to_terminal "$PRIOR_TERMINAL_TITLE"
   fi
 }