X-Git-Url: https://feistymeow.org/gitweb/?p=feisty_meow.git;a=blobdiff_plain;f=scripts%2Ftty%2Fterminal_titler.sh;h=7ced5c9fc83caa8093a303fb5406a936b29c39aa;hp=8bc6ccd36d3c31b1145b3df0c1c401d58414beba;hb=564408342570fb0cb291d7a0680f90297f24b7bd;hpb=7b39f7e279005c8466ef508220a532ce2aa4abf8 diff --git a/scripts/tty/terminal_titler.sh b/scripts/tty/terminal_titler.sh index 8bc6ccd3..7ced5c9f 100644 --- a/scripts/tty/terminal_titler.sh +++ b/scripts/tty/terminal_titler.sh @@ -17,7 +17,8 @@ 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. @@ -31,28 +32,50 @@ function apply_title_to_terminal() 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 } -# reads the current terminal title, if possible, and saves it to our record. -function 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 - 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 + # 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 } @@ -83,7 +106,7 @@ function label_terminal_with_info() 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