From c88694eb7fa8f641f7015a27e1955e36e911eab3 Mon Sep 17 00:00:00 2001
From: Manfred Touron <94029+moul@users.noreply.github.com>
Date: Sat, 22 Jul 2023 10:38:16 +0200
Subject: [PATCH] feat: add initial gitpod file

Signed-off-by: Manfred Touron <94029+moul@users.noreply.github.com>
---
 .gitpod.yml | 55 +++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 55 insertions(+)
 create mode 100644 .gitpod.yml

diff --git a/.gitpod.yml b/.gitpod.yml
new file mode 100644
index 0000000..9ca683e
--- /dev/null
+++ b/.gitpod.yml
@@ -0,0 +1,55 @@
+# http://gitpod.io/#github.com/gnolang/getting-started-workshop
+
+additionalRepositories:
+  - url: https://github.com/gnolang/gno
+    checkoutLocation: gno
+
+
+tasks:
+  - name: Gno Shell
+    init: |
+      (
+        set -xe
+        cd ../gno
+        echo "install developer tools"
+        (cd misc/devdeps && make install)
+        echo "download dependencies"
+        go mod download
+        go install ./gnovm/cmd/gno
+        echo "Deps installed."
+      )
+    command: gno --help
+
+  - name: Gnoland Node
+    before: cd ../gno/gno.land/
+    init: go install ./cmd/gnoland
+    command: gnoland start
+
+  - name: Gnoland Website
+    before: cd ../gno/gno.land/
+    init: go install ./cmd/gnoweb
+    command: gnoweb --bind=0.0.0.0:8888
+
+  #- name: faucet
+  #  ...
+
+ports:
+  - name: gnoweb
+    description: "the Gno.land web server"
+    port: 8888
+    onOpen: open-preview
+
+  - name: "gnoland RPC"
+    description: "the RPC server, managed by tendermint2"
+    port: 36657
+    onOpen: notify
+
+github:
+  prebuilds:
+    master: true
+    branches: true
+    pullRequests: true
+    pullRequestsFromForks: true
+    addCheck: true
+    addComment: true
+    addBadge: true