Weird elan error on `elan self update`

Stream: lean4

[Mac]

So I just ran elan self update to get the new v1.0.5 and encountered the following error:

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.0.5/elan-.zip' to 'C:\msys64\tmp\elan-update.c8emncMQuRCT\elan-.zip'
info: caused by: http request returned an unsuccessful status code: 404

Anyone know why this is happening?

[Mac]

My current elan version is elan 1.0.3 (1e544aa57 2021-04-30)

[Mac]

I figure that it probably has to do with the fact it is looking for elan-.zip instead of the proper elan-x86_64-pc-windows-msvc.zip, but I don't know why it would be doing that (or how to make it do what it should).

[Mac]

It may be that that https://github.com/leanprover/elan/commit/7bc41561e1d0990f57f0a024e861ed7223e9e180 inadvertently broke the Windows self update URL.

[Sebastian Ullrich]

Whoops. Should be fixed now, at least after a manual update.

[Mac]

Btw, what is the recommended way to perform a manual update? Just run elan-init with the normal installation?

[Sebastian Ullrich]

That should be the easiest way, yes

[Mac]

I was worried that might overwrite the current config (and break things), but it is good to hear that it is smart enough to work.