Getting set up as a developer instructions, simply doesn't work on Windows 10 / MSYS

At first I needed npm, which I installed using the Node.js binary installer today.

Now, make is available in the MSYS terminal but not on the Windows cmd.

Vise versa, npm is available in the Windows cmd but not the MSYS terminal.

So I copied the C:\msys64\usr\bin path to my Path env var in my computer’s settings, so that cmd would have access to make. But now, running make in this project’s directory gives:

C:\Users\fruit\OneDrive\Desktop\vscoq>make
npm install
/bin/bash: C:/Program Files/nodejs/npm: No such file or directory
make: *** [Makefile:8: node_modules] Error 127

I verified that yes, npm is indeed present at the printed out location that supposedly didn’t exist. Could it be because of the space char in “Program Files”?

[artagnon]

No, npm install merely fetches the listed dependencies to node_modules. You’re free to modify the extension as you see fit.

On Sat, Sep 3, 2022, at 7:34 PM, Enjoys Math wrote:

Okay, so what does that do exactly? Will it put it into my VSCode instance as an extension?

I might want to modify this extension.

On Sat, Sep 3, 2022 at 10:32 AM Luna Tuna @.***> wrote:

Yo, that works or seems to be working!! Thank you ❤️

😄

On Sat, Sep 3, 2022 at 10:30 AM Ramkumar Ramachandra < @.***> wrote:

npm install.

On Sat, Sep 3, 2022, at 7:29 PM, Enjoys Math wrote:

Okay, it seems like this project is missing a node_modules directory. What are the new build instructions?

— Reply to this email directly, view it on GitHub < https://github.com/coq-community/vscoq/issues/307#issuecomment-1236168569>, or unsubscribe < https://github.com/notifications/unsubscribe-auth/AAAJC2SIT2T7EOZ5DBMXHTTV4ODFZANCNFSM6AAAAAAQD7C7MU . You are receiving this because you are subscribed to this thread.Message ID: @.***>

— Reply to this email directly, view it on GitHub https://github.com/coq-community/vscoq/issues/307#issuecomment-1236168846, or unsubscribe https://github.com/notifications/unsubscribe-auth/AAMIF5ZSIONLNMFLPOPVQ4TV4ODMTANCNFSM6AAAAAAQD7C7MU . You are receiving this because you authored the thread.Message ID: @.***>

— Reply to this email directly, view it on GitHub https://github.com/coq-community/vscoq/issues/307#issuecomment-1236169325, or unsubscribe https://github.com/notifications/unsubscribe-auth/AAAJC2VTC7OI6V5N7N4EWOLV4ODZPANCNFSM6AAAAAAQD7C7MU. You are receiving this because you commented.Message ID: @.***>

[artagnon]

npm install.

On Sat, Sep 3, 2022, at 7:29 PM, Enjoys Math wrote:

Okay, it seems like this project is missing a node_modules directory. What are the new build instructions?

— Reply to this email directly, view it on GitHub https://github.com/coq-community/vscoq/issues/307#issuecomment-1236168569, or unsubscribe https://github.com/notifications/unsubscribe-auth/AAAJC2SIT2T7EOZ5DBMXHTTV4ODFZANCNFSM6AAAAAAQD7C7MU. You are receiving this because you are subscribed to this thread.Message ID: @.***>