From 98d700d84df9d0dec35a2647ee0338df3161f590 Mon Sep 17 00:00:00 2001 From: Ayaz Salikhov Date: Sat, 1 Jul 2023 11:45:39 +0400 Subject: [PATCH] Unify julia scripts style --- minimal-notebook/setup-scripts/setup-julia-packages.bash | 3 ++- minimal-notebook/setup-scripts/setup-julia.bash | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) 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