Support for custom configurations #2020
Conversation
There was a problem hiding this comment.
We haven't discussed this more broadly, but custom config specification has been a long-standing request with a lot of interest. The scope of implementing could grow a bit from what's here if we need something beyond a naive restart, but maybe this is good to start. I'll let others weigh in.
| this.outputChannel.appendLine(`Resolved to ${this.exe.path}`); | ||
|
|
||
| // Get pprofDir | ||
| // Get pprofDir |
There was a problem hiding this comment.
Switch this and every other TS line back to spaces
| { | ||
| ...this.clientOptions, | ||
| initializationOptions: { | ||
| customConfigFileName, |
There was a problem hiding this comment.
Rather than be part of initialization, we think this sort of thing would belong more on user preferences (see here.
Whether we just say "you need to restart the server" or we track this sort of thing on the server in some way is a bigger question.
|
I'm not sure what happened with your PRs, but can you keep the one you intend us to look at open and keep pushing to that one? |
3 participants
#1636