Improve Gitpod integration

PR to adapt and simplify Gitpod configuration. Accommodates Java 17 requirement for VSC Language server
jenkinsci · Jul 29, 2022 · a7c3ca1 · a7c3ca1
1 parent d4ceb10
commit a7c3ca1
Show file tree

Hide file tree

Showing 2 changed files with 24 additions and 0 deletions.
diff --git a/.gitpod.Dockerfile b/.gitpod.Dockerfile
@@ -0,0 +1,8 @@
+FROM gitpod/workspace-full
+
+USER gitpod
+
+RUN bash -c ". /home/gitpod/.sdkman/bin/sdkman-init.sh && \
+    sdk install java 17.0.3-tem && \
+    sdk install java 11.0.15-tem  && \
+    sdk default java 17.0.3-tem"
diff --git a/.gitpod.yml b/.gitpod.yml
@@ -0,0 +1,16 @@
+# Using an updated Gitpod docker image (when using a non default JDK or tools)
+image:
+  file: .gitpod.Dockerfile
+
+tasks:
+  - init: sdk default java  11.0.15-tem && mvn clean verify
+
+vscode:
+  extensions:
+    - bierner.markdown-preview-github-styles
+    - vscjava.vscode-java-pack
+    - redhat.java
+    - vscjava.vscode-java-debug
+    - vscjava.vscode-java-dependency
+    - vscjava.vscode-java-test
+    - vscjava.vscode-maven