diff options
Diffstat (limited to 'scripts/code-server.bat')
-rw-r--r-- | scripts/code-server.bat | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/scripts/code-server.bat b/scripts/code-server.bat new file mode 100644 index 00000000000..6c3bf915366 --- /dev/null +++ b/scripts/code-server.bat @@ -0,0 +1,24 @@ +@echo off +setlocal + +title VSCode Server + +pushd %~dp0\.. + +:: Configuration +set NODE_ENV=development +set VSCODE_DEV=1 + +:: Sync built-in extensions +call yarn download-builtin-extensions + +:: Download nodejs executable for remote +call yarn gulp node + +:: Launch Server +FOR /F "tokens=*" %%g IN ('node build/lib/node.js') do (SET NODE=%%g) +call "%NODE%" resources\server\bin-dev\code-server.js %* + +popd + +endlocal |