vscode/scripts/code-server.bat

29 lines
478 B
Batchfile

@echo off
setlocal
title VSCode Server
pushd %~dp0\..
:: 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
)
:: Launch Server
call "%NODE%" scripts\code-server.js %*
popd
endlocal