2016-12-17 11:33:07 +01:00
|
|
|
// A launch configuration that compiles the extension and then opens it inside a new window
|
|
|
|
|
{
|
2019-04-16 09:59:21 -07:00
|
|
|
"version": "0.2.0",
|
2016-12-17 11:33:07 +01:00
|
|
|
"configurations": [
|
|
|
|
|
{
|
|
|
|
|
"name": "Launch Extension",
|
|
|
|
|
"type": "extensionHost",
|
|
|
|
|
"request": "launch",
|
|
|
|
|
"runtimeExecutable": "${execPath}",
|
2018-11-15 10:32:22 +01:00
|
|
|
"args": [
|
|
|
|
|
"--extensionDevelopmentPath=${workspaceRoot}"
|
|
|
|
|
],
|
2016-12-17 11:33:07 +01:00
|
|
|
"stopOnEntry": false,
|
|
|
|
|
"sourceMaps": true,
|
2018-11-15 10:32:22 +01:00
|
|
|
"outFiles": [
|
2023-06-27 02:27:05 +02:00
|
|
|
"${workspaceRoot}/out/**/*.js"
|
2018-11-15 10:32:22 +01:00
|
|
|
],
|
|
|
|
|
"preLaunchTask": "npm: watch"
|
2016-12-17 11:33:07 +01:00
|
|
|
}
|
|
|
|
|
]
|
|
|
|
|
}
|