Rename .gitpod.DockerFile to .gitpod.Dockerfile

joshDamian · Mar 8, 2024 · bddcd12 · bddcd12
1 parent ef8f3bc
commit bddcd12
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.gitpod.DockerFile → .gitpod.Dockerfile b/.gitpod.DockerFile → .gitpod.Dockerfile
@@ -2,4 +2,4 @@ FROM gitpod/workspace-full:2024-02-25-19-24-14
 
 SHELL ["/bin/bash", "-c"]
 RUN source "/home/gitpod/.sdkman/bin/sdkman-init.sh"  \
-    && sdk install java 17.0.4.1-tem < /dev/null
+    && sdk install java 17.0.4.1-tem < /dev/null