diff --git a/minimal-notebook/setup-scripts/setup-julia-packages.bash b/minimal-notebook/setup-scripts/setup-julia-packages.bash index 70ab730a..0be05426 100755 --- a/minimal-notebook/setup-scripts/setup-julia-packages.bash +++ b/minimal-notebook/setup-scripts/setup-julia-packages.bash @@ -1,8 +1,9 @@ #!/bin/bash +set -exuo pipefail # Requirements: # - Run as non-root user +# - The JULIA_PKGDIR environment variable is set # - Julia is already set up, with the setup-julia.bash command -set -exuo pipefail # Install base Julia packages julia -e ' diff --git a/minimal-notebook/setup-scripts/setup-julia.bash b/minimal-notebook/setup-scripts/setup-julia.bash index 95a76581..3aab076e 100755 --- a/minimal-notebook/setup-scripts/setup-julia.bash +++ b/minimal-notebook/setup-scripts/setup-julia.bash @@ -1,7 +1,7 @@ #!/bin/bash set -exuo pipefail # Requirements: -# - This script is run as the root user +# - Run as the root user # - The JULIA_PKGDIR environment variable is set # Default julia version to install if env var is not set