diff options
| -rw-r--r-- | fish/config.fish | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/fish/config.fish b/fish/config.fish index 19cabed..8aff44b 100644 --- a/fish/config.fish +++ b/fish/config.fish @@ -33,3 +33,5 @@ set -gx CARGO_HOME ~/.local/share/cargo # Trailing : is necessary! # https://docs.julialang.org/en/v1/manual/environment-variables/#JULIA_DEPOT_PATH set -gx JULIA_DEPOT_PATH ~/.local/share/julia: +# Lean toolchains are huge so put them in ~/.cache which doesn't get backed up +set -gx ELAN_HOME ~/.cache/elan |