File tree Expand file tree Collapse file tree 4 files changed +37
-1
lines changed Expand file tree Collapse file tree 4 files changed +37
-1
lines changed Original file line number Diff line number Diff line change 1- __debug_bin
1+ build.sh
Original file line number Diff line number Diff line change 1+ # same as https://github.com/bcmi-labs/arduino-editor/blob/master/Dockerfile
2+ FROM gitpod/workspace-full
3+
4+ USER root
5+ RUN apt-get update -q --fix-missing && \
6+ apt-get install -y -q software-properties-common && \
7+ apt-get install -y -q --no-install-recommends \
8+ build-essential \
9+ libssl-dev \
10+ golang-go \
11+ libxkbfile-dev
12+
13+ RUN set -ex && \
14+ tmpdir=$(mktemp -d) && \
15+ curl -L -o $tmpdir/protoc.zip https://github.com/protocolbuffers/protobuf/releases/download/v3.6.1/protoc-3.6.1-linux-x86_64.zip && \
16+ mkdir -p /usr/lib/protoc && cd /usr/lib/protoc && unzip $tmpdir/protoc.zip && \
17+ chmod -R 755 /usr/lib/protoc/include/google && \
18+ ln -s /usr/lib/protoc/bin/* /usr/bin && \
19+ rm $tmpdir/protoc.zip
Original file line number Diff line number Diff line change 1+ #! /bin/bash
2+ set -euxo pipefail
3+
4+ echo go build -o /workspace/arduino-editor/arduino-ide-extension/build/arduino-language-server > /workspace/arduino-language-server/build.sh
5+ chmod +x /workspace/arduino-language-server/build.sh
6+
7+ cd /workspace
8+ git clone https://github.com/bcmi-labs/arduino-editor
9+ cd arduino-editor
10+ yarn
11+
12+ echo " start an Arduino IDE with: yarn --cwd /workspace/arduino-editor/browser-app start"
Original file line number Diff line number Diff line change 1+ image :
2+ file : .gitpod.Dockerfile
3+
4+ tasks :
5+ - command : echo "please run .gitpod.setup.sh to get started (cannot checkout private repos before Gitpod is up and running)"
You can’t perform that action at this time.
0 commit comments