projects / feisty_meow.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 6d2ec9b)
modified the heading.
authorChris Koeritz <fred@gruntose.com>
Wed, 10 Feb 2016 00:20:18 +0000 (19:20 -0500)
committerChris Koeritz <fred@gruntose.com>
Wed, 10 Feb 2016 00:20:18 +0000 (19:20 -0500)
scripts/tty/label_terminal_with_infos.sh patch | blob | history

diff --git a/scripts/tty/label_terminal_with_infos.sh b/scripts/tty/label_terminal_with_infos.sh
index 9918c9f025ac691fa8cbc97a0f8546910363c2c0..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")