From 670b5d8386aa160faf7893795343f8822d7fc669 Mon Sep 17 00:00:00 2001 From: easybuild Date: Tue, 11 Apr 2017 20:26:17 +0200 Subject: [PATCH] modified: test-install --- test-install | 1 + 1 file changed, 1 insertion(+) 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