void/scripts/code-web.bat

@echo off
setlocal

title VSCode Web Serverless

pushd %~dp0\..

:: Sync built-in extensions
call npm run download-builtin-extensions

:: Node executable
FOR /F "tokens=*" %%g IN ('node build/lib/node.js') do (SET NODE=%%g)

if not exist "%NODE%" (
	:: Download nodejs executable for remote
	call npm run gulp node
)

:: Launch Server
call "%NODE%" scripts\code-web.js %*

popd

endlocal
init commit 2024-09-11 02:37:36 +00:00			`@echo off`
			`setlocal`

			`title VSCode Web Serverless`

			`pushd %~dp0\..`

			`:: Sync built-in extensions`
feat: swtich to npm as default package manager 2024-09-06 13:18:02 +00:00			`call npm run download-builtin-extensions`
init commit 2024-09-11 02:37:36 +00:00
			`:: Node executable`
			`FOR /F "tokens=*" %%g IN ('node build/lib/node.js') do (SET NODE=%%g)`

			`if not exist "%NODE%" (`
			`:: Download nodejs executable for remote`
feat: swtich to npm as default package manager 2024-09-06 13:18:02 +00:00			`call npm run gulp node`
init commit 2024-09-11 02:37:36 +00:00			`)`

			`:: Launch Server`
			`call "%NODE%" scripts\code-web.js %*`

			`popd`

			`endlocal`