1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
{
"id": "java",
"name": "Java (via SDKMAN!)",
"options": {
"version": {
"type": "string",
"proposals": ["lts", "latest", "none", "17", "11", "8"],
"default": "lts",
"description": "Select or enter a Java version to install"
}
},
"buildArg": "_VSC_INSTALL_JAVA",
"extensions": ["vscjava.vscode-java-pack"],
"containerEnv": {
"SDKMAN_DIR": "/usr/local/sdkman",
"PATH": "${SDKMAN_DIR}/bin:${SDKMAN_DIR}/candidates/java/current/bin:${PATH}"
},
"settings": {
"java.home": "/extension-java-home",
"java.import.gradle.java.home": "/usr/local/sdkman/candidates/java/current"
},
"install": {
"app": "",
"file": "install.sh"
}
}
|
