diff --git a/test-install b/test-install index 21d83e4c..91410c7d 100755 --- a/test-install +++ b/test-install @@ -5,6 +5,7 @@ printf "\033c" DIR=`pwd` NAME=$(hostname -f | cut -d '.' -f 2) + if [ $NAME = "bullx" ]; then NAME="ANSELM" else