development/vscode
development/vscode
1
0
Fork 0
mirror of https://github.com/Microsoft/vscode synced 2024-10-06 03:17:00 +00:00
Code Issues Packages Projects Releases Wiki Activity

fix: close #176763, modify the conditions to load vscode-web-playground (#176771)

Browse source 
* fix: close #176763, modify the conditions to load vscode-web-playground

* chore: use of recovery --no-playground parameters

* chore(script): update the argument description

* chore(script): update the argument description

* chore(script): update the argument description
This commit is contained in:
易良 2023-04-04 17:16:42 +08:00 committed by GitHub
parent d317fbf297
commit 8fc524d161
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 7 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
scripts/code-web.js
View file

@ -41,8 +41,10 @@ async function main() {
if (args.help) {
console.log(
'./scripts/code-web.sh|bat [options]\n' +
' --playground Include the vscode-web-playground extension (added by default if no folderPath is provided)\n'
'./scripts/code-web.sh|bat[, folderMountPath[, options]]\n' +
' Start with an empty workspace and no folder opened in explorer\n' +
' folderMountPath Open local folder (eg: use `.` to open current directory)\n' +
' --playground Include the vscode-web-playground extension\n'
);
startServer(['--help']);
return;
@ -59,7 +61,9 @@ async function main() {
if (args['port'] === undefined) {
serverArgs.push('--port', PORT);
}
if (args['playground'] === true || (args['_'].length === 0 && !args['folder-uri'])) {
// only use `./scripts/code-web.sh --playground` to add vscode-web-playground extension by default.
if (args['playground'] === true) {
serverArgs.push('--extensionPath', WEB_DEV_EXTENSIONS_ROOT);
serverArgs.push('--folder-uri', 'memfs:///sample-folder');
await ensureWebDevExtensions(args['verbose']);
@ -75,7 +79,6 @@ async function main() {
serverArgs.push(...process.argv.slice(2).filter(v => !v.startsWith('--playground') && v !== '--no-playground'));
startServer(serverArgs);
if (openSystemBrowser) {
opn(`http://${HOST}:${PORT}/`);
@ -145,5 +148,4 @@ async function ensureWebDevExtensions(verbose) {
}
}
main();