Merge branch 'easyconfigs-it4i-anselm'

This commit is contained in:
Lukas Krupcik 2017-04-11 20:26:32 +02:00
commit 940d7d000b

View File

@ -5,6 +5,7 @@ printf "\033c"
DIR=`pwd`
NAME=$(hostname -f | cut -d '.' -f 2)
if [ $NAME = "bullx" ]; then
NAME="ANSELM"
else