diff options
Diffstat (limited to 'scripts/configure_ubuntu.sh')
| -rwxr-xr-x | scripts/configure_ubuntu.sh | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/scripts/configure_ubuntu.sh b/scripts/configure_ubuntu.sh index 3817997c..159dc4d1 100755 --- a/scripts/configure_ubuntu.sh +++ b/scripts/configure_ubuntu.sh @@ -1,6 +1,13 @@ -#!/bin/bash +#!/bin/sh -#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 |