X-Git-Url: https://feistymeow.org/gitweb/?a=blobdiff_plain;f=scripts%2Ftty%2Fterminal_titler.sh;h=a4e6a3fca9c711bd1d7c5458efd8ba9e59a11fa1;hb=ec0607714e0846cbf25687be2c915eb28b521f4c;hp=1856f7265074af8a7961d130569c32d7796150bf;hpb=c9d0d4b7ef552b0aab4c7a031f3a5a309843ec5d;p=feisty_meow.git diff --git a/scripts/tty/terminal_titler.sh b/scripts/tty/terminal_titler.sh index 1856f726..a4e6a3fc 100644 --- a/scripts/tty/terminal_titler.sh +++ b/scripts/tty/terminal_titler.sh @@ -3,7 +3,10 @@ source "$FEISTY_MEOW_SCRIPTS/core/functions.sh" source "$FEISTY_MEOW_SCRIPTS/core/common.alias" -#export PRIOR_TERMINAL_TITLE +# 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. @@ -16,41 +19,76 @@ function apply_title_to_terminal() title="$(hostname)" fi - if [ "${TERM}" != "dumb" -a -z "$PBS_ENVIRONMENT" -a ! -z "$PS1" ]; then + if [ "${TERM}" != "dumb" -a -z "$PBS_ENVIRONMENT" -a \ + ! -z "$PS1" -a "${TERM}" != "linux" ]; then echo -n -e "\033]0;${title}\007" else # not running interactively, so just echo the title. sep - echo ${title} + echo "${title}" sep fi } -# user friendly version that saves the title being added. -function set_terminal_title() +############## + +# records the current terminal title, pushing it down on the stack of titles, +# possibly prior to a new one being used. +function save_terminal_title() { - apply_title_to_terminal $* - # an echo or some interaction with terminal seems needed to get terminal to respond - # so we will see the current title when we query for it. - echo - save_terminal_title + local title="$*" + + if [ -z "$title" ]; then + if [ ! -z "$DEBUG_TERM_TITLE" ]; then + echo "terminal_titler: empty title: pushing current title again" + fi + peek_title_stack + title="$LAST_TITLE" + if [ -z "$title" ]; then + log_feisty_meow_event "terminal_titler: there was no saved title, so we're ignoring the save attempt." + return 1 + fi + fi + +#hmmm: need a validation step here to remove bad chars that conflict with our title compression scheme. + + # only slap a comma after the existing value if it wasn't empty. + if [ -z "$TERMINAL_TITLE_STACK" ]; then + export TERMINAL_TITLE_STACK="\"$title\"" + else + export TERMINAL_TITLE_STACK="$TERMINAL_TITLE_STACK,\"$title\"" + fi + + if [ ! -z "$DEBUG_TERM_TITLE" ]; then + echo "terminal_titler: new terminal title stack is:" + echo "$TERMINAL_TITLE_STACK" + fi } -# reads the current terminal title, if possible, and saves it to our record. -function save_terminal_title() +# takes a terminal title off the stack and sets the LAST_TITLE variable. +function pop_title_stack() { - # 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 -echo "saving prior terminal title as '$prior_title'" - export PRIOR_TERMINAL_TITLE="$prior_title" - else -echo "not saving prior terminal title which was empty" - fi + # whack our output variable, just in case. + unset LAST_TITLE + # get our stack top. + peek_title_stack + # trim the popped item out of the stack. + if [ ! -z "$TERMINAL_TITLE_STACK" ]; then + TERMINAL_TITLE_STACK="$(echo $TERMINAL_TITLE_STACK | sed -n -e 's/\(.*\),[^,]*$/\1/p')" + fi +} + +# like pop, but does not change the stack, effectively handing you the most +# recently set title. +function peek_title_stack() +{ + # whack our output variable, just in case. + unset LAST_TITLE + + if [ ! -z "$TERMINAL_TITLE_STACK" ]; then + LAST_TITLE="$(echo $TERMINAL_TITLE_STACK | sed -n -e 's/.*","\([^,]*\)"$/\1/p')" + if [ -z "$LAST_TITLE" ]; then + LAST_TITLE="$(echo $TERMINAL_TITLE_STACK | sed -n -e 's/"//gp')" fi fi } @@ -58,14 +96,15 @@ echo "not saving prior terminal title which was empty" # 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 -echo "restoring prior terminal title of '$PRIOR_TERMINAL_TITLE'" - apply_title_to_terminal "$PRIOR_TERMINAL_TITLE" + pop_title_stack + + if [ ! -z "$LAST_TITLE" ]; then + if [ ! -z "$DEBUG_TERM_TITLE" ]; then + echo "terminal_titler: restoring prior terminal title of '$LAST_TITLE'" + echo "terminal_titler: while new title stack is: $TERMINAL_TITLE_STACK" + fi + apply_title_to_terminal "$LAST_TITLE" fi } @@ -73,26 +112,36 @@ echo "restoring prior terminal title of '$PRIOR_TERMINAL_TITLE'" function label_terminal_with_info() { # we only label the terminal anew if there's no saved title. - if [ -z "$PRIOR_TERMINAL_TITLE" ]; then -echo "showing new generated title since prior title was empty" + if [ -z "$TERMINAL_TITLE_STACK" ]; then + if [ ! -z "$DEBUG_TERM_TITLE" ]; then + echo "terminal_titler: 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 + user="$(fm_username)" 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" -#needing this extra echo is awful. is there a better way? - echo - save_terminal_title + save_terminal_title "$new_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!" -echo "using prior terminal title of '$PRIOR_TERMINAL_TITLE'" - apply_title_to_terminal "$PRIOR_TERMINAL_TITLE" + peek_title_stack + apply_title_to_terminal "$LAST_TITLE" fi } +############## + +# user friendly version sets the terminal title and saves the title being added. +function set_terminal_title() +{ + apply_title_to_terminal $* + save_terminal_title $* +} + +############## +