From 268f2b87717e7f4e7732d13603a79ae2e34f6516 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Hallvard=20Tr=C3=A6tteberg?= <hal@ntnu.no>
Date: Fri, 19 Jun 2020 15:03:42 +0200
Subject: [PATCH] Add .gitpod.dockerfile with vnc and java 14

---
 .gitpod.dockerfile | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 .gitpod.dockerfile

diff --git a/.gitpod.dockerfile b/.gitpod.dockerfile
new file mode 100644
index 0000000..e33046d
--- /dev/null
+++ b/.gitpod.dockerfile
@@ -0,0 +1,5 @@
+FROM gitpod/workspace-full-vnc
+
+RUN bash -c ". /home/gitpod/.sdkman/bin/sdkman-init.sh \
+             && sdk install java 14.0.1.j9-adpt \
+             && sdk default java 14.0.1.j9-adpt"
-- 
GitLab