Commit 2023-01-17 14:55 79b2042c

View on Github →

chore: try 'XDG_CACHE_HOME' to download cache files (#1623) Searches for a XDG_CACHE_HOME env variable. If it's defined, use $XDG_CACHE_HOME/mathlib as the repository of cache files. Fallback to .cache. Zulip thread fro context: https://leanprover.zulipchat.com/#narrow/stream/287929-mathlib4/topic/lake.20get-cache/near/321773418

Estimated changes