tasty renamings

[feisty_meow.git] / scripts / tty / label_terminal_with_infos.sh

diff --git a/scripts/tty/label_terminal_with_infos.sh b/scripts/tty/label_terminal_with_infos.sh
index 6997079628c0141f3c947fbbfead192f79eb1e17..91c1312038505592c853f2c5160263923a89d799 100644 (file)
--- a/scripts/tty/label_terminal_with_infos.sh
+++ b/scripts/tty/label_terminal_with_infos.sh
@@ -3,6 +3,8 @@
 # this script makes a new title for the terminal window that matches the
 # hostname and some other details.
 
+source $FEISTY_MEOW_SCRIPTS/core/functions.sh
+
 pruned_host=$(echo $HOSTNAME | sed -e 's/^\([^\.]*\)\..*$/\1/')
 date_string=$(date +"%Y %b %e @ %T")
 
@@ -14,4 +16,4 @@ fi
 
 new_title="-- $user@$pruned_host -- [$date_string]"
 
-bash "$SHELLDIR/tty/set_term_title.sh" "$new_title"
+bash "$FEISTY_MEOW_SCRIPTS/tty/set_term_title.sh" "$new_title"