diff --git a/scripts/startLocalCluster.sh b/scripts/startLocalCluster.sh index 546235bb3e..c4f09abff3 100755 --- a/scripts/startLocalCluster.sh +++ b/scripts/startLocalCluster.sh @@ -1,6 +1,9 @@ #!/bin/bash if [ -z "$XTERM" ] ; then - XTERM=xterm + XTERM=x-terminal-emulator +fi +if [ -z "$XTERMOPTIONS" ] ; then + XTERMOPTIONS="--geometry=80x43" fi if [ ! -d arangod ] || [ ! -d arangosh ] || [ ! -d UnitTests ] ; then