vscode/scripts/code-server.bat at main · unknownDev31/vscode · GitHub

Repository navigation

@echo off

setlocal

title VSCode Server

set ROOT_DIR=%~dp0..

pushd %ROOT_DIR%

:: Configuration

set NODE_ENV=development

set VSCODE_DEV=1

:: Get electron, compile, built-in extensions

if "%VSCODE_SKIP_PRELAUNCH%"=="" node build/lib/preLaunch.js

:: 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 yarn gulp node

)

popd

:: Launch Server

call "%NODE%" %ROOT_DIR%\scripts\code-server.js %*

endlocal