From 2b52fca45b94cb37ff7bcb93a0614e4387785049 Mon Sep 17 00:00:00 2001 From: Jason Liu Date: Thu, 30 Jul 2020 23:21:12 +0800 Subject: [PATCH] Update Dockerfile --- .devcontainer/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile index 9718047..c41ba3b 100644 --- a/.devcontainer/Dockerfile +++ b/.devcontainer/Dockerfile @@ -1,4 +1,4 @@ -FROM openjdk:8-jdk +FROM openjdk:11-jdk # This Dockerfile adds a non-root user with sudo access. Use the "remoteUser" # property in devcontainer.json to use it. On Linux, the container user's GID/UIDs