-echo new terminal title stack is:
-echo $TERMINAL_TITLE_STACK
+ if [ ! -z "$DEBUG_TERM_TITLE" ]; then
+ echo "terminal_titler: new terminal title stack is:"
+ echo "$TERMINAL_TITLE_STACK"
+ fi
- echo "restoring prior terminal title of '$LAST_TITLE'"
- echo "while new title stack is: $TERMINAL_TITLE_STACK"
+ echo "terminal_titler: restoring prior terminal title of '$LAST_TITLE'"
+ echo "terminal_titler: while new title stack is: $TERMINAL_TITLE_STACK"
# we only label the terminal anew if there's no saved title.
if [ -z "$TERMINAL_TITLE_STACK" ]; then
if [ ! -z "$DEBUG_TERM_TITLE" ]; then
# we only label the terminal anew if there's no saved title.
if [ -z "$TERMINAL_TITLE_STACK" ]; then
if [ ! -z "$DEBUG_TERM_TITLE" ]; then