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