chore: 🩹 update julia settings

ivaquero · Aug 24, 2024 · ddcfe6d · ddcfe6d
1 parent 6eb2997
commit ddcfe6d
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/defaults.ps1 b/defaults.ps1
@@ -116,6 +116,9 @@ $Global:OX_CONDA_ENV = @{
 
 # predefined julia environments
 # set the length of key <= 3
+if ([string]::IsNullOrEmpty($env:JULIA_DEPOT_PATH)) {
+    $env:JULIA_DEPOT_PATH = "$HOME\.julia"
+}
 $Global:OX_JULIA_ENV = @{
     b = "$env:JULIA_DEPOT_PATH\environments\v$JULIA_VERSION"
     # t = "tutorial"

diff --git a/defaults.sh b/defaults.sh
@@ -269,6 +269,7 @@ declare -A OX_CONDA_ENV=(
 
 # predefined julia environments
 # set the length of key <= 3
+export JULIA_DEPOT_PATH=${JULIA_DEPOT_PATH:-"${HOME}/.julia"}
 declare -A OX_JULIA_ENV=(
     [b]="${JULIA_DEPOT_PATH}/environments/v${JULIA_VERSION}"
     # [t]="tutorial"