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

diff --git a/scripts/tty/terminal_titler.sh b/scripts/tty/terminal_titler.sh
new file mode 100644
index 00000000..8bc6ccd3
--- /dev/null
+++ b/scripts/tty/terminal_titler.sh
@@ -0,0 +1,104 @@
+#!/bin/bash
+
+source "$FEISTY_MEOW_SCRIPTS/core/functions.sh"
+source "$FEISTY_MEOW_SCRIPTS/core/common.alias"
+
+# 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 apply_title_to_terminal()
+{
+  title="$*"
+  # if we weren't given a title, then use just the hostname.  this is the degraded functionality.
+  if [ -z "${title}" ]; then
+    title="$(hostname)"
+  fi
+  
+  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
+  fi
+}
+
+# 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.
+  which xprop &>/dev/null
+  if [ $? -eq 0 ]; then
+    # make sure we're actually using xterm *and* that we have a window ID.
+    if [[ "$TERM" =~ .*"xterm".* && ! -z "$WINDOWID" ]]; then
+      local prior_title="$(xprop -id $WINDOWID | perl -nle 'print $1 if /^WM_NAME.+= \"(.*)\"$/')"
+      if [ ! -z "$prior_title" ]; then
+        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
+}
+
+# using our stored terminal title, this replaces the title on the terminal.
+function restore_terminal_title()
+{
+# we don't want to emit anything extra if this is being driven by git.
+#hmmm...  this could be a problem?
+#  if [ -z "$(echo $* | grep git)" ]; then
+
+  # run the terminal labeller to restore the prior title, if there was one.
+  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
+}
+
+# sets a title for the terminal with the hostname and other details.
+function label_terminal_with_info()
+{
+  # we only label the terminal anew if there's no saved title.
+  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
+    if [ -z "$user" ]; then
+      # try snagging the windoze name.
+      user=$USERNAME
+    fi
+    new_title="-- $user@$pruned_host -- [$date_string]"
+    apply_title_to_terminal "$new_title"
+    save_terminal_title
+  else
+    # use the former title; paste it back up there just in case.
+    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
+}
+
+