Automatic exit of scripts on failure

ci/install_dart_latest.sh

@@ -1,3 +1,5 @@
+set -e
+
 # Select Compiler
 if [ "$COMPILER" = "gcc" ]; then
 export CC=/usr/bin/gcc && export CXX=/usr/bin/g++

ci/install_magnum.sh

@@ -1,3 +1,5 @@
+set -e
+
 # Select Compiler
 if [ "$COMPILER" = "gcc" ]; then
 export CC=/usr/bin/gcc && export CXX=/usr/bin/g++

ci/install_packages.sh

@@ -1,10 +1,14 @@
+set -e
+
 sudo apt-get -qq update
 sudo apt-get -y install software-properties-common mlocate
 sudo apt-add-repository -y ppa:dartsim/ppa
 sudo apt-get -qq update
 sudo apt-get install -y --no-install-recommends build-essential cmake pkg-config git libeigen3-dev libccd-dev libfcl-dev libboost-regex-dev libboost-system-dev libboost-filesystem-dev libboost-test-dev libbullet-dev libode-dev liboctomap-dev libtinyxml-dev libtinyxml2-dev liburdfdom-dev liburdfdom-headers-dev python3-pip python3-numpy libpython3-dev libxi-dev libxmu-dev freeglut3-dev libopenscenegraph-dev libassimp-dev libfmt-dev pybind11-dev
 
-sudo ln -s /usr/bin/python3 /usr/bin/python
+if [ ! -f /usr/bin/python ]; then
+    sudo ln -s /usr/bin/python3 /usr/bin/python
+fi
 
 if [ "$MAGNUM_GUI" = "ON" ]; then
     sudo apt-get install -y --no-install-recommends libopenal-dev libglfw3-dev libsdl2-dev libdevil-dev libpng-dev libfaad-dev libfreetype6-dev libglm-dev

scripts/install_osx.sh

@@ -1,4 +1,4 @@
-set -x
+set -e
 
 CLEAN=0
 

scripts/install_ubuntu.sh

@@ -1,3 +1,5 @@
+set -e
+
 CLEAN=0
 
 CLEAN=${1:-$CLEAN}