Zulip Chat Archive

Stream: general

Topic: Leanpkg Windows weirdness

Abhimanyu Pallavi Sudhir (Mar 07 2019 at 21:51):

Once I create a project my_project using leanpkg and cd my_project, the leanpkg command stops working in the folder. It works in all other folders. Is this a known bug/Windows-specific thing? Can I fix it?

Last updated: Aug 03 2023 at 10:10 UTC