File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -29,22 +29,16 @@ if ! command -v juliaup &> /dev/null; then
2929fi
3030
3131# Ask which Julia version to use
32- # Default to 1.12 if it is already installed and is the current default, otherwise 1.11
33- if juliaup status 2> /dev/null | grep ' ^\s*\*' | grep -q ' 1\.12' ; then
34- _default_choice=2
35- _default_julia=" 1.12"
36- else
37- _default_choice=1
38- _default_julia=" 1.11"
39- fi
32+ _default_julia=" 1.11"
33+
4034echo " Which Julia version do you want to use?"
4135echo " 1) Julia 1.11"
4236echo " 2) Julia 1.12"
4337if [[ " $_yes " == " true" ]]; then
4438 _julia_choice=" "
4539 echo " Non-interactive mode: using default (${_default_julia} )"
4640else
47- read -rp " Enter 1 or 2 [default: ${_default_choice } ]: " _julia_choice
41+ read -rp " Enter 1 or 2 [default: ${_default_julia } ]: " _julia_choice
4842fi
4943case " ${_julia_choice} " in
5044 1)
You can’t perform that action at this time.
0 commit comments