This repository was archived by the owner on Oct 14, 2023. It is now read-only.
This repository was archived by the owner on Oct 14, 2023. It is now read-only.
leanpkg new returns failed to start child process #1975
Open
Description
Prerequisites
- [X ] Put an X between the brackets on this line if you have done all of the following:
- Checked that your issue isn't already filed.
- Specifically, check out the wishlist, open RFCs,
or feature requests.
- Specifically, check out the wishlist, open RFCs,
- Reduced the issue to a self-contained, reproducible test case.
- Checked that your issue isn't already filed.
Description
The 'leanpkg new' command does not work.
Steps to Reproduce
- Installed binary version of Lean on Windows
- Add the bin dir to PATH env var.
- Tested some coding on VC with the Lean extension installed, and every thing works as intended
- Open a cmd windows and type the command
leanpkg new myfirstprj
Expected behavior: The creation of a new dir with the name myfirstprj
and the setup of the project
Actual behavior: The command start and after a sec the failed to start child process
error appears.
Reproduces how often: 100%
Versions
Lean (version 3.4.1, commit 17fe3de, Release)
Microsoft Windows [Version 6.1.7601]
git version 2.19.0.windows.1
Metadata
Metadata
Assignees
Labels
No labels