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: Dec 20 2023 at 11:08 UTC