From d7fcb39536b3e99fe4321628f7886c61d03b649a Mon Sep 17 00:00:00 2001
From: Sven Efftinge <sven.efftinge@typefox.io>
Date: Thu, 13 Sep 2018 18:12:10 +0000
Subject: [PATCH] Added mono

---
 .gitpod    | 2 ++
 Dockerfile | 9 +++++++++
 2 files changed, 11 insertions(+)
 create mode 100644 Dockerfile

diff --git a/.gitpod b/.gitpod
index aa9267c..d410872 100644
--- a/.gitpod
+++ b/.gitpod
@@ -1,3 +1,5 @@
+image:
+  file: Dockerfile
 ports:
   - port: 3000
     protocol: "http"
diff --git a/Dockerfile b/Dockerfile
new file mode 100644
index 0000000..b77030e
--- /dev/null
+++ b/Dockerfile
@@ -0,0 +1,9 @@
+FROM gitpod/workspace-full:latest
+
+USER root
+RUN apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys 3FA7E0328081BFF6A14DA29AA6A19B38D3D831EF \
+    && echo "deb https://download.mono-project.com/repo/ubuntu stable-bionic main" | sudo tee /etc/apt/sources.list.d/mono-official-stable.list \
+    && apt update \
+    && apt-get update \
+    && apt-get install -y mono-complete \
+    && apt-get clean && rm -rf /var/cache/apt/* && rm -rf /var/lib/apt/lists/* && rm -rf /tmp/*