diff options
author | Benjamin Pasero <benjpas@microsoft.com> | 2022-01-20 15:48:08 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-01-20 15:48:08 +0300 |
commit | 13461f8c61ebe54d37a18b054af5ff4ede23500e (patch) | |
tree | eacf1ed6548a080319a159a9130467172e1d60c1 /scripts | |
parent | 7cde8b945f917aa6494112a6071cefefbcae63ea (diff) |
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>
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/code-server.bat | 24 | ||||
-rwxr-xr-x | scripts/code-server.sh | 26 | ||||
-rw-r--r-- | scripts/code-web.bat | 20 | ||||
-rwxr-xr-x | scripts/code-web.sh | 24 |
4 files changed, 94 insertions, 0 deletions
diff --git a/scripts/code-server.bat b/scripts/code-server.bat new file mode 100644 index 00000000000..6c3bf915366 --- /dev/null +++ b/scripts/code-server.bat @@ -0,0 +1,24 @@ +@echo off +setlocal + +title VSCode Server + +pushd %~dp0\.. + +:: Configuration +set NODE_ENV=development +set VSCODE_DEV=1 + +:: 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\server\bin-dev\code-server.js %* + +popd + +endlocal diff --git a/scripts/code-server.sh b/scripts/code-server.sh new file mode 100755 index 00000000000..b1c266ec2e4 --- /dev/null +++ b/scripts/code-server.sh @@ -0,0 +1,26 @@ +#!/usr/bin/env bash + +if [[ "$OSTYPE" == "darwin"* ]]; then + realpath() { [[ $1 = /* ]] && echo "$1" || echo "$PWD/${1#./}"; } + ROOT=$(dirname $(dirname $(realpath "$0"))) +else + ROOT=$(dirname $(dirname $(readlink -f $0))) +fi + +function code() { + cd $ROOT + + # Sync built-in extensions + yarn download-builtin-extensions + + # Load remote node + yarn gulp node + + NODE=$(node build/lib/node.js) + + NODE_ENV=development \ + VSCODE_DEV=1 \ + $NODE ./resources/server/bin-dev/code-server.js "$@" +} + +code "$@" diff --git a/scripts/code-web.bat b/scripts/code-web.bat new file mode 100644 index 00000000000..5ad704aea78 --- /dev/null +++ b/scripts/code-web.bat @@ -0,0 +1,20 @@ +@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 diff --git a/scripts/code-web.sh b/scripts/code-web.sh new file mode 100755 index 00000000000..dd32d01117e --- /dev/null +++ b/scripts/code-web.sh @@ -0,0 +1,24 @@ +#!/usr/bin/env bash + +if [[ "$OSTYPE" == "darwin"* ]]; then + realpath() { [[ $1 = /* ]] && echo "$1" || echo "$PWD/${1#./}"; } + ROOT=$(dirname $(dirname $(realpath "$0"))) +else + ROOT=$(dirname $(dirname $(readlink -f $0))) +fi + +function code() { + cd $ROOT + + # Sync built-in extensions + yarn download-builtin-extensions + + # Load remote node + yarn gulp node + + NODE=$(node build/lib/node.js) + + $NODE ./resources/web/bin-dev/code-web-playground.js "$@" +} + +code "$@" |