# version for the other side (just 'linux'); we don't want the remote side still
# thinking it's running xterm.
save_terminal_title
+echo TERM saved is $PRIOR_TERMINAL_TITLE
#hmmm: why were we doing this? it scorches the user's logged in session, leaving it without proper terminal handling.
# # we save the value of TERM; we don't want to leave the user's terminal
# # brain dead once we come back from this function.
/usr/bin/ssh -X -C "${args[@]}"
# # restore the terminal variable also.
# TERM="$oldterm"
+echo TERM prior to restore is $PRIOR_TERMINAL_TITLE
restore_terminal_title
+echo TERM title restored
}
##############
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
+ if [[ ! -z "$GNOME_TERMINAL_SCREEN" ]]; then
+ term_title_found="$(xprop -id $WINDOWID | perl -nle 'print $1 if /^WM_NAME.+= \"(.*)\"$/')"
+ elif [[ "$TERM" =~ .*"xterm".* && ! -z "$WINDOWID" ]]; then
term_title_found="$(xprop -id $WINDOWID | perl -nle 'print $1 if /^WM_NAME.+= \"(.*)\"$/')"
fi
fi