diff options
Diffstat (limited to 'scripts/configure_ubuntu.sh')
| -rwxr-xr-x | scripts/configure_ubuntu.sh | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/scripts/configure_ubuntu.sh b/scripts/configure_ubuntu.sh index 848cf63e..159dc4d1 100755 --- a/scripts/configure_ubuntu.sh +++ b/scripts/configure_ubuntu.sh @@ -1,7 +1,13 @@ #!/bin/sh -set -e -#assumes a somewhat recent 64-bit ubuntu +# Assumes a somewhat recent 64-bit ubuntu + +# Exit on errors and unset variables +set -eu + +ROOT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )/" + +cd ${ROOT_DIR} #need some openGL stuff sudo apt install libgl1-mesa-dev |