terminal title stuff seems to actually be working now. problem seemed to be declaring the prior terminal titles array; even though was not setting a value, this was clearing the contents out!
source "$FEISTY_MEOW_LOADING_DOCK/fmc_core_and_custom_aliases.sh"
fi
-echo before the new labelling, terminal titles have:
-show_terminal_titles
+#echo before the new labelling, terminal titles have:
+#show_terminal_titles
# a minor tickle of the title of the terminal, unless we already have some history.
-# if ptt_stack_empty; then
- label_terminal_with_info
-# fi
+ label_terminal_with_info
if [ ! -z "$SHELL_DEBUG" ]; then echo "heavyweight init is done."; fi
fi