3 # this script makes a new title for the terminal window that matches the
4 # hostname and some other details.
6 pruned_host=$(echo $HOSTNAME | sed -e 's/^\([^\.]*\)\..*$/\1/')
7 date_string=$(date +"%Y %b %e @ %T")
10 if [ -z "$user" ]; then
11 # try snagging the windoze name.
15 new_title="-- $user@$pruned_host -- [$date_string]"
17 bash "$FEISTY_MEOW_SCRIPTS/tty/set_term_title.sh" "$new_title"