Zulip Chat Archive

Stream: general

Topic: spawn ENOTDIR

François Sunatori (Mar 06 2021 at 14:57):

Since yesterday evening, in Visual Studio Code, at the bottom right, I'm getting a popup saying "spawn ENOTDIR".
I tried:

  • quitting Visual Studio Code and reopening it
  • uninstalling the Lean extension and reinstalling it
  • uninstalling Visual Studio Code and reinstalling it
    yet I'm still getting that popup saying "spawn ENOTDIR".
    Has anyone ever run into this problem?

Last updated: Dec 20 2023 at 11:08 UTC