leanpkg new returns failed to start child process

fstiffo commented 6 years ago

[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.
- Reduced the issue to a self-contained, reproducible test case.

The 'leanpkg new' command does not work.

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%

Lean (version 3.4.1, commit 17fe3decaf8a, Release)

Microsoft Windows [Version 6.1.7601]

git version 2.19.0.windows.1

fpvandoorn commented 6 years ago

I can reproduce this in cmd.

As a workaround, the command does work in the MSYS2 MinGW 64-bit shell, which you can install here.

fstiffo commented 6 years ago

It works also with Git bash that is installed by default with Git on Windows.

leanprover / lean3