Skip to content
Snippets Groups Projects
Commit 7ebfa4a9 authored by mattijs's avatar mattijs
Browse files

BUG: bash does not know $HOST, only $HOSTNAME

parent 86feee80
Branches
Tags
No related merge requests found
......@@ -184,14 +184,14 @@ do
# Set colour
colour="${colourList[$colourIndex]}"
if [ "$host" = "$HOST" ]; then
if [ "$host" = "$HOSTNAME" ]; then
eval $* 2>&1 | colourPipe "$colour"
else
ssh $host "$sourceFoam 2>/dev/null; cd $PWD && $rcmd" 2>&1 | colourPipe "$colour"
fi
retval=$?
else
if [ "$host" = "$HOST" ]; then
if [ "$host" = "$HOSTNAME" ]; then
eval $* 2>&1
else
ssh $host "$sourceFoam 2>/dev/null; cd $PWD && $rcmd" 2>&1
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment