Purescript: Build command about vscode-ide-purescript HOT 4 CLOSED

If you edit your user or workspace config, take the default commend and add .cmd (so pulp.cmd ...).

That's assuming it's in your PATH, otherwise you should add it or specify a full path (without spaces at this time...)

I think there is no build on save at the moment, there is a build command you can invoke from the command palette (or set yourself a keybinding).

from vscode-ide-purescript.

I added this row into Workspace settings:
"pulp.cmd": "..."
I guess I did it incorrectly since it has no effect. I am sorry, i am new to vs code. Could you please advice? Also I do not know where should the pulp.cmd be located. On my machine, pulp files are located in ..\AppData\Roaming\npm\node_modules\pulp. All of them are .js or .purs.

from vscode-ide-purescript.

So obviously it should look like the existing setting (you are taken to the list of defaults when you edit your settings). So the value to use would be:

{
    "purescript.buildCommand": "pulp.cmd build --no-psa --json-errors",
}

If npm global install location is set into your path you're good, otherwise I guess you can check where pulp in a command line (bear in mind you need to use the .cmd version).

from vscode-ide-purescript.

Works. Thank you again.

from vscode-ide-purescript.