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".
- 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: May 14 2021 at 21:11 UTC