Added .gitpod.yml

.gitignore

@@ -1 +1 @@
-__debug_bin
+build.sh

.gitpod.Dockerfile

@@ -0,0 +1,19 @@
+# same as https://github.com/bcmi-labs/arduino-editor/blob/master/Dockerfile
+FROM gitpod/workspace-full
+
+USER root
+RUN apt-get update -q --fix-missing && \
+    apt-get install -y -q software-properties-common && \
+    apt-get install -y -q --no-install-recommends \
+    build-essential \
+    libssl-dev \
+    golang-go \
+    libxkbfile-dev
+
+RUN set -ex && \
+    tmpdir=$(mktemp -d) && \
+    curl -L -o $tmpdir/protoc.zip https://github.com/protocolbuffers/protobuf/releases/download/v3.6.1/protoc-3.6.1-linux-x86_64.zip && \
+    mkdir -p /usr/lib/protoc && cd /usr/lib/protoc && unzip $tmpdir/protoc.zip && \
+    chmod -R 755 /usr/lib/protoc/include/google && \
+    ln -s /usr/lib/protoc/bin/* /usr/bin && \
+    rm $tmpdir/protoc.zip

.gitpod.setup.sh

@@ -0,0 +1,12 @@
+#!/bin/bash
+set -euxo pipefail
+
+echo go build -o /workspace/arduino-editor/arduino-ide-extension/build/arduino-language-server > /workspace/arduino-language-server/build.sh
+chmod +x /workspace/arduino-language-server/build.sh
+
+cd /workspace
+git clone https://github.com/bcmi-labs/arduino-editor
+cd arduino-editor
+yarn
+
+echo "start an Arduino IDE with: yarn --cwd /workspace/arduino-editor/browser-app start"

.gitpod.yml

@@ -0,0 +1,5 @@
+image:
+  file: .gitpod.Dockerfile
+
+tasks:
+- command: echo "please run .gitpod.setup.sh to get started (cannot checkout private repos before Gitpod is up and running)"