3 # this script makes a new title for the terminal window that matches the
4 # hostname and some other details.
6 source $FEISTY_MEOW_SCRIPTS/core/functions.sh
8 # we only label the terminal anew if there's no saved title.
10 #hmmm: how about putting that title back in place?
11 # we currently do this manually in places, like ssh, which is dumb.
14 if [ -z "$PRIOR_TERMINAL_TITLE" ]; then
15 pruned_host=$(echo $HOSTNAME | sed -e 's/^\([^\.]*\)\..*$/\1/')
16 date_string=$(date +"%Y %b %e @ %T")
19 if [ -z "$user" ]; then
20 # try snagging the windoze name.
24 new_title="-- $user@$pruned_host -- [$date_string]"
26 bash "$FEISTY_MEOW_SCRIPTS/tty/set_term_title.sh" "$new_title"