Init script: Added possiblity for overriding JULIAUP_VERSION

JuliaLang · Dec 14, 2023 · 7b3ec92 · 7b3ec92
1 parent 4e8c47a
commit 7b3ec92
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/deploy/shellscript/juliaup-init.sh b/deploy/shellscript/juliaup-init.sh
@@ -25,7 +25,9 @@ set -u
 
 # If JULIAUP_SERVER is unset or empty, default it.
 JULIAUP_SERVER="${JULIAUP_SERVER:-https://julialang-s3.julialang.org}"
-JULIAUP_VERSION="THISISREPLACEDWITHREALVERSIONINGITHUBWORKFLOW"
+
+# If JULIAUP_VERSION is unset or empty, default it.
+JULIAUP_VERSION="${JULIAUP_VERSION:-THISISREPLACEDWITHREALVERSIONINGITHUBWORKFLOW}"
 
 #XXX: If you change anything here, please make the same changes in setup_mode.rs
 usage() {