Zulip Chat Archive

Stream: general

Topic: spawn ENOTDIR


view this post on Zulip François Sunatori (Mar 06 2021 at 14:57):

Hi,
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?
    Thanks!

Last updated: May 14 2021 at 21:11 UTC