use Java 8 in gitpod

epfl-lara · Oct 31, 2020 · 9f1ec93 · 9f1ec93
1 parent 52b3e46
commit 9f1ec93
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/.gitpod.Dockerfile b/.gitpod.Dockerfile
@@ -0,0 +1,10 @@
+FROM gitpod/workspace-full
+
+# Install custom tools, runtimes, etc.
+# For example "bastet", a command-line tetris clone:
+# RUN brew install bastet
+#
+# More information: https://www.gitpod.io/docs/config-docker/
+
+RUN bash -c ". /home/gitpod/.sdkman/bin/sdkman-init.sh \
+             && sdk install java 8.0.272.open-adpt"