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