diff options
| author | 2024-12-13 23:15:45 +0100 | |
|---|---|---|
| committer | 2024-12-13 23:16:10 +0100 | |
| commit | 52c33f70c8fa451040791761e9b1e435b39cfe7b (patch) | |
| tree | d0a56cb39f39f1e7dc7d1c2e7894d8283cd13e64 | |
| parent | sh: remove uv plugin (diff) | |
fish/julia: also supply a depot path for juliaup
| -rw-r--r-- | dot_config/private_fish/conf.d/julia.fish | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/dot_config/private_fish/conf.d/julia.fish b/dot_config/private_fish/conf.d/julia.fish index d45c1ef..857fe97 100644 --- a/dot_config/private_fish/conf.d/julia.fish +++ b/dot_config/private_fish/conf.d/julia.fish @@ -1,2 +1,3 @@ set -Uuq JULIA_DEPOT_PATH || set -Uu JULIA_DEPOT_PATH ~/.local/julia -setux JULIA_DEPOT_PATH +set -Uuq JULIAUP_DEPOT_PATH || set -Uu JULIAUP_DEPOT_PATH $JULIA_DEPOT_PATH/juliaup +setux JULIA_DEPOT_PATH JULIAUP_DEPOT_PATH |
