From 13461f8c61ebe54d37a18b054af5ff4ede23500e Mon Sep 17 00:00:00 2001
From: Benjamin Pasero <benjpas@microsoft.com>
Date: Thu, 20 Jan 2022 13:48:08 +0100
Subject: 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>
---
 scripts/code-server.bat | 24 ++++++++++++++++++++++++
 scripts/code-server.sh  | 26 ++++++++++++++++++++++++++
 scripts/code-web.bat    | 20 ++++++++++++++++++++
 scripts/code-web.sh     | 24 ++++++++++++++++++++++++
 4 files changed, 94 insertions(+)
 create mode 100644 scripts/code-server.bat
 create mode 100755 scripts/code-server.sh
 create mode 100644 scripts/code-web.bat
 create mode 100755 scripts/code-web.sh

(limited to 'scripts')

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 "$@"
-- 
cgit v1.2.3