mirror of
https://github.com/Microsoft/vscode
synced 2024-08-24 19:46:05 +00:00
missing rename code-server-web -> code-server
This commit is contained in:
parent
dd0f0bda08
commit
7935cd295c
2
.vscode/tasks.json
vendored
2
.vscode/tasks.json
vendored
|
@ -171,7 +171,7 @@
|
|||
},
|
||||
{
|
||||
"type": "shell",
|
||||
"command": "./scripts/code-server-web.sh",
|
||||
"command": "./scripts/code-server.sh",
|
||||
"windows": {
|
||||
"command": ".\\scripts\\code-server.bat"
|
||||
},
|
||||
|
|
|
@ -43,7 +43,7 @@
|
|||
"vscode-dts-compile-check": "tsc -p src/tsconfig.vscode-dts.json && tsc -p src/tsconfig.vscode-proposed-dts.json",
|
||||
"valid-layers-check": "node build/lib/layersChecker.js",
|
||||
"update-distro": "node build/npm/update-distro.js",
|
||||
"web": "echo 'yarn web' is replaced by './scripts/code-server-web' or './scripts/code-web'",
|
||||
"web": "echo 'yarn web' is replaced by './scripts/code-server' or './scripts/code-web'",
|
||||
"compile-web": "node --max_old_space_size=4095 ./node_modules/gulp/bin/gulp.js compile-web",
|
||||
"watch-web": "node --max_old_space_size=4095 ./node_modules/gulp/bin/gulp.js watch-web",
|
||||
"eslint": "node build/eslint",
|
||||
|
|
Loading…
Reference in a new issue