mirror of
https://github.com/Microsoft/vscode
synced 2024-08-26 20:39:37 +00:00
13461f8c61
* web - first cut `yarn web` via our server * properly pipe output * web - remove traces of web playground * web - remember last opened workspace for convinience * use vscode-test-web for server less, clean up web commands * fix comment * fix `yarn web` * rename to code-server * open system browser * code-server script: use minimist * test resolver: use ./scripts/code-server * integartion tests: fix code-server command name Co-authored-by: Martin Aeschlimann <martinae@microsoft.com>
25 lines
406 B
Batchfile
25 lines
406 B
Batchfile
@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
|