elan self update fails

Stream: general

[Marcus Rossel]

I'm on elan 1.0.6 (bf510c5db 2021-05-25). When I try elan self update I get:

$ elan self update
info: checking for self-updates
info: downloading self-update
Error(Download(HttpStatus(404)), State { next_error: None, backtrace: InternalBacktrace { backtrace: None } })
error: could not download file from 'https://github.com/leanprover/elan/releases/download/v1.3.1/elan-.tar.gz' to '/var/folders/ym/f2j_cdcx6y71w2bjqvb9dmzw0000gn/T/elan-update.MZgbX7UAVjgy/elan-.tar.gz'
info: caused by: http request returned an unsuccessful status code: 404

Is anyone else running into this?

[Alex J. Best]

1.0.6 is quite old in elan-years, there were some issues of this type in the past that should now be resolved, I'd recommend just updating manually by uninstalling and reinstalling from the instructions on elan's github page EDIT: actually maybe elan self uninstall is a better uninstall metthod

[Alex J. Best]

the change log for 1.0.8 says - Fix `elan self update` on not-Linux, again so this is likely one of those issues