vscode/scripts/code-web.bat

@echo off
setlocal

title VSCode Web Serverless

pushd %~dp0\..

:: 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\web\bin-dev\code-web-playground.js %*

popd

endlocal
Add server folder 2021-10-20 16:42:13 +00:00			`@echo off`
			`setlocal`

Web: change `yarn web` to run with our server instead of playground (#139725) * 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> 2022-01-20 12:48:08 +00:00			`title VSCode Web Serverless`
Add server folder 2021-10-20 16:42:13 +00:00
Web: change `yarn web` to run with our server instead of playground (#139725) * 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> 2022-01-20 12:48:08 +00:00			`pushd %~dp0\..`
Add server folder 2021-10-20 16:42:13 +00:00
			`:: 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)`
Web: change `yarn web` to run with our server instead of playground (#139725) * 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> 2022-01-20 12:48:08 +00:00			`call "%NODE%" resources\web\bin-dev\code-web-playground.js %*`
Add server folder 2021-10-20 16:42:13 +00:00
			`popd`

Web: change `yarn web` to run with our server instead of playground (#139725) * 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> 2022-01-20 12:48:08 +00:00			`endlocal`