diff --git a/.gitignore b/.gitignore index 483356e..88a84e5 100644 --- a/.gitignore +++ b/.gitignore @@ -1 +1 @@ -__debug_bin +build.sh diff --git a/.gitpod.Dockerfile b/.gitpod.Dockerfile new file mode 100644 index 0000000..2f0dd6f --- /dev/null +++ b/.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 diff --git a/.gitpod.setup.sh b/.gitpod.setup.sh new file mode 100755 index 0000000..942f0ea --- /dev/null +++ b/.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" \ No newline at end of file diff --git a/.gitpod.yml b/.gitpod.yml new file mode 100644 index 0000000..9cf4a98 --- /dev/null +++ b/.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)" \ No newline at end of file