From f205c30c239fd3893b0e3424202c9b64ade9cfa3 Mon Sep 17 00:00:00 2001
From: Franck Nijhof <frenck@frenck.nl>
Date: Sat, 29 Jun 2019 21:28:35 +0200
Subject: [PATCH] Adds support for Gitpod.io (#9727)

* Adds support for Gitpod

* Adds Gitpod Dockerfile

* Adds Gitpod prebuild configuration

* Adds Theia tasks file (for use with Gitpod)

* Revert "Adds Gitpod Dockerfile"

This reverts commit bf2d76fdc057d3d05972f6d7f8e1b0c61476c2b7.

* Fixes broken json in Theia tasks file
---
 .gitpod.yml       | 16 ++++++++++++++++
 .theia/tasks.json | 30 ++++++++++++++++++++++++++++++
 2 files changed, 46 insertions(+)
 create mode 100644 .gitpod.yml
 create mode 100644 .theia/tasks.json

diff --git a/.gitpod.yml b/.gitpod.yml
new file mode 100644
index 00000000000..16d7a920856
--- /dev/null
+++ b/.gitpod.yml
@@ -0,0 +1,16 @@
+tasks:
+  - init: gem install bundler -v 2.0.1
+  - init: bundle install
+ports:
+  - port: 4000
+    onOpen: open-browser
+github:
+  prebuilds:
+    master: true
+    branches: true
+    pullRequests: true
+    pullRequestsFromForks: true
+    addCheck: true
+    addComment: false
+    addBadge: true
+    addLabel: false
diff --git a/.theia/tasks.json b/.theia/tasks.json
new file mode 100644
index 00000000000..fa5f725110c
--- /dev/null
+++ b/.theia/tasks.json
@@ -0,0 +1,30 @@
+{
+    "tasks": [
+        {
+            "label": "Generate",
+            "type": "shell",
+            "command": "bundle",
+            "args": [
+                "exec",
+                "rake",
+                "generate"
+            ],
+            "options": {
+                "cwd": "${workspaceFolder}"
+            }        
+        },
+        {
+            "label": "Preview",
+            "type": "shell",
+            "command": "bundle",
+            "args": [
+                "exec",
+                "rake",
+                "preview"
+            ],
+            "options": {
+                "cwd": "${workspaceFolder}"
+            }        
+        }
+    ]
+}
\ No newline at end of file