elan toolchain updateがうまくできなかったときのメモ

elanのnightlyをアップデートしようとしたらうまくできなかった。

PS > elan toolchain update leanprover/lean4:nightly
info: syncing channel updates for 'nightly'
info: latest update on nightly, lean version nightly-2023-11-03
info: downloading component 'lean'
180.7 MiB / 180.7 MiB (100 %)  23.1 MiB/s ETA:   0 s
info: installing component 'lean'
error: could not remove 'toolchain directory' directory: 'C:\Users\user\.elan\toolchains\leanprover--lean4---nightly'
info: caused by: アクセスが拒否されました。 (os error 5)

どうもVisual Studio CodeでLanguage Serverが動いていたからだめだった。
Visual Studio Codeを閉じたら問題なくelan toolchain updateが動いた。

PS > elan toolchain update leanprover/lean4:nightly
info: syncing channel updates for 'nightly'
info: latest update on nightly, lean version nightly-2023-11-03
info: downloading component 'lean'
180.7 MiB / 180.7 MiB (100 %)  23.2 MiB/s ETA:   0 s
info: installing component 'lean'

  leanprover/lean4:nightly updated - Lean (version 4.4.0-nightly-2023-11-03, commit e217ad3929ed, Release)