mirror of
https://github.com/microsoft/vscode.git
synced 2025-12-20 02:08:47 +00:00
2648263d3e
* Run our build scripts directly as typescript #277567 Follow up on #276864 For #277526 * Remove a few more ts-node references * Fix linux and script reference * Remove `_build-script` ref * Fix script missing closing quote * use type only import * Fix export * Make sure to run copy-policy-dto * Make sure we run the copy-policy-dto script * Enable `verbatimModuleSyntax` * Pipelines fixes * Try adding explicit ext to path * Fix bad edit * Revert extra `--` --------- Co-authored-by: João Moreno <joaomoreno@users.noreply.github.com>
34 lines
522 B
Batchfile
34 lines
522 B
Batchfile
@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.ts
|
|
)
|
|
|
|
:: 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
|
|
)
|
|
|
|
popd
|
|
|
|
:: Launch Server
|
|
call "%NODE%" %ROOT_DIR%\scripts\code-server.js %*
|
|
|
|
|
|
endlocal
|