From 41135fdaf1538aa80baaddd721c72e7cd20c977c Mon Sep 17 00:00:00 2001 From: 101zh <67253838+101zh@users.noreply.github.com> Date: Tue, 3 Oct 2023 03:50:17 +0000 Subject: [PATCH] fix(.devcontainer): reset settings --- .devcontainer/devcontainer.json | 15 ++++----------- 1 file changed, 4 insertions(+), 11 deletions(-) diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index 6d0322e..d2cf3cb 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -7,18 +7,11 @@ "features": { "ghcr.io/devcontainers/features/java:1": { - "installMaven": true, - "version": "8", - "jdkDistro": "ms", - "gradleVersion": "latest", - "mavenVersion": "latest", - "antVersion": "latest" + "version": "none", + "installMaven": "true", + "installGradle": "false" }, - "ghcr.io/devcontainers-contrib/features/ant-sdkman:2": { - "version": "latest", - "jdkVersion": "8", - "jdkDistro": "ms" - } + "ghcr.io/devcontainers-contrib/features/ant-sdkman:2": {} } // Use 'forwardPorts' to make a list of ports inside the container available locally.