elan-cleanup

Stream: general

[Jannis Limperg]

My weekend project: a little script (written in Lean 4 of course) that cleans up unused toolchains in your .elan directory. It detects used toolchains by looking for lean-toolchain files below your home directory (excluding directories starting with .), then deletes any toolchain not mentioned in a lean-toolchain file.

At the moment there are very few bells and whistles (e.g. you can't customise where it looks for lean-toolchain files), but maybe someone finds it useful nonetheless.

[Matej Penciak]

Works great! Thanks!