Could make vscode plugin support user custom properties?

[18Fl]

Hey, in vscode plugin we have setting.json:

{
    "codeQL.telemetry.enableTelemetry": true,
    "codeQL.cli.executablePath": "C:\\Users\\18f\\Desktop\\18_floor\\misc_fun\\codeql\\codeql-win64\\codeql\\codeql.exe",
    "cmake.configureOnOpen": true,
    "security.workspace.trust.untrustedFiles": "open",
    "codeQL.runningQueries.numberOfThreads": 0,
    "codeQL.runningTests.additionalTestArguments": [
        "--intra-layer-parallelism",
        "--ram=40960"
    ]
}

like if we set |numberOfThreads|, it will run it in multi thread.

However, I more like use --intra-layer-parallelism and --ram=40960 to make my query run fast. Then I add it to additionalTestArguments. Obviously, it dosen't work. It just set for test.

Could vscode plugin offer a option to make user could add their own properties? like :

{
    "codeQL.telemetry.enableTelemetry": true,
    "codeQL.cli.executablePath": "C:\\Users\\18f\\Desktop\\18_floor\\misc_fun\\codeql\\codeql-win64\\codeql\\codeql.exe",
    "cmake.configureOnOpen": true,
    "security.workspace.trust.untrustedFiles": "open",
    "codeQL.runningQueries.numberOfThreads": 0,
    "codeQL.runningQueries.additionalArguments": [ // [+] previous is additionalTestArguments
        "--intra-layer-parallelism",
        "--ram=40960"
    ]
}

Thx!

[18Fl]

Like the chat with @aibaars , We could use this document to archive this.

In my machine path:

C:\Users\18f.config\codeql\config

18f is my user name, just replace your self. If it doesn't exist. just create it.

The file named |config| has this :

--tuple-counting
--intra-layer-parallelism
--ram 40960
--threads 21

Then if u open vscode, u should see a message:

codeql server restart.

It means everything is ok now.

And thanks for @aibaars 's help!