diff options
| author | Anthony Wang | 2025-05-19 00:13:07 -0400 |
|---|---|---|
| committer | Anthony Wang | 2025-05-19 00:14:10 -0400 |
| commit | 452ad2833a6a65719a27114b68e3c7cdcbaa540e (patch) | |
| tree | f1606e9cc6b3d037be6241eb5dd04d0a84b68c23 | |
| parent | 2ffebcada979e43545e5deb3cadb7f30b3f6e69b (diff) | |
| -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 |