2016-07-15 12:49:27 +02:00
|
|
|
// A launch configuration that compiles the extension and then opens it inside a new window
|
|
|
|
|
{
|
2018-11-08 10:13:29 +01:00
|
|
|
"version": "0.2.0",
|
2016-07-15 12:49:27 +02:00
|
|
|
"configurations": [
|
|
|
|
|
{
|
2018-11-08 10:13:29 +01:00
|
|
|
"name": "Run Extension",
|
2016-07-15 12:49:27 +02:00
|
|
|
"type": "extensionHost",
|
|
|
|
|
"request": "launch",
|
|
|
|
|
"runtimeExecutable": "${execPath}",
|
2018-11-08 10:13:29 +01:00
|
|
|
"args": ["--extensionDevelopmentPath=${workspaceRoot}"],
|
|
|
|
|
"outFiles": ["${workspaceFolder}/out/**/*.js"],
|
2018-05-31 16:13:45 +02:00
|
|
|
"preLaunchTask": "npm: watch"
|
2016-07-15 12:49:27 +02:00
|
|
|
}
|
|
|
|
|
]
|
|
|
|
|
}
|