diff options
Diffstat (limited to 'scripts/configure_ubuntu.sh')
| -rwxr-xr-x | scripts/configure_ubuntu.sh | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/scripts/configure_ubuntu.sh b/scripts/configure_ubuntu.sh index 3817997c..a3d07ede 100755 --- a/scripts/configure_ubuntu.sh +++ b/scripts/configure_ubuntu.sh @@ -1,10 +1,18 @@ #!/bin/bash -#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 - +#install curl incase of fresh vm +sudo apt install curl mkdir tmp cd tmp |
