X-Git-Url: https://feistymeow.org/gitweb/?p=feisty_meow.git;a=blobdiff_plain;f=scripts%2Ftty%2Fterminal_titler.sh;h=7ced5c9fc83caa8093a303fb5406a936b29c39aa;hp=66e0c28bbfe6b8ba64577d09f964db9cf3e76aef;hb=564408342570fb0cb291d7a0680f90297f24b7bd;hpb=e603a8e96ad90207f2894e5fe45e04c7cce2fffc diff --git a/scripts/tty/terminal_titler.sh b/scripts/tty/terminal_titler.sh index 66e0c28b..7ced5c9f 100644 --- a/scripts/tty/terminal_titler.sh +++ b/scripts/tty/terminal_titler.sh @@ -3,70 +3,13 @@ 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. @@ -74,31 +17,65 @@ function set_terminal_title() title="$(hostname)" fi - if [ -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} 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. -function save_terminal_title() +# user friendly version that saves the title being added. +function set_terminal_title() { + apply_title_to_terminal $* + +#tricky attempts to get it to be available when we ask for it in get_terminal_title + sync +# echo -n + +# # we're enforcing a new title from here on. +# unset PRIOR_TERMINAL_TITLE + save_terminal_title +} + +# echoes back the current title on the terminal window, if we can acquire it. +function get_terminal_title() +{ + # this is an important value now; it is checked for in save_terminal_title. + local term_title_found="unknown" # 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'" - push_ptt_stack "$prior_title" -# else -#echo "not saving prior terminal title which was empty" - fi + # gnome-terminal doesn't set WINDOWID currently, but we can work around this. + 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. + elif [[ "$TERM" =~ .*"xterm".* && ! -z "$WINDOWID" ]]; then + term_title_found="$(xprop -id $WINDOWID | perl -nle 'print $1 if /^WM_NAME.+= \"(.*)\"$/')" + fi + fi + echo -n "$term_title_found" +} + +# reads the current terminal title, if possible, and saves it to our record. +function save_terminal_title() +{ + local title="$(get_terminal_title)" + if [ "$title" != "unknown" ]; then + # there was a title, so save it. + if [ ! -z "$DEBUG_TERM_TITLE" ]; then + echo "saving prior terminal title as '$title'" + fi + export PRIOR_TERMINAL_TITLE="$title" + else + # the terminal had no title, or we couldn't access it, or there's no terminal. + if [ ! -z "$DEBUG_TERM_TITLE" ]; then + echo "not saving prior terminal title which was empty" fi fi } @@ -111,10 +88,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 } @@ -122,23 +100,27 @@ 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 + user="$(logname)" if [ -z "$user" ]; then # try snagging the windoze name. 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 }