elan is broken atm

Stream: general

[Gabriel Ebner]

The latest release of elan seems to have a problem @Sebastian Ullrich:

curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh
~/.elan/bin/lean +leanprover-community/lean:3.28.0
info: downloading component 'lean'
info: installing component 'lean'
error: could not write update hash file: '/root/.elan/update-hashes/leanprover-community/lean:3.28.0'
info: caused by: No such file or directory (os error 2)

[Sebastian Ullrich]

Ugh, I thought that was dead code :sweat_smile:

[Sebastian Ullrich]

Should be fixed now. I hope it's the only one, the elan test suite is not exactly exhaustive.