Allow cwd in launch.json

[robertmaxton42]

Is your feature request related to a problem? Please describe.

Sometimes it is convenient to have a program that assumes a certain directory structure relative to where it's run. At the moment, it is difficult to do so in Metals without polluting the root directory.

Describe the solution you'd like

Allow cwd to be set in launch.json as permitted by the java launch type, so that e.g. data generation and multi-step builds can occur in some specified subdirectory instead of being dumped in the root.

Describe alternatives you've considered

Per-project, it is certainly possible to make dev-mode switches in the code itself as a workaround, but it would be much nicer to be able to use the same syntax and options when porting from Java.

Additional context

No response

Search terms

cwd, organization, launch options