Update devcontainer.json

This commit is contained in:
Jason Liu
2020-07-30 23:28:53 +08:00
committed by GitHub
parent 2b52fca45b
commit 2a338a105d

View File

@@ -5,7 +5,7 @@
// Set *default* container specific settings.json values on container create. // Set *default* container specific settings.json values on container create.
"settings": { "settings": {
"terminal.integrated.shell.linux": "/bin/bash", "terminal.integrated.shell.linux": "/bin/bash",
"java.home": "/usr/local/openjdk-8" "java.home": "/usr/local/openjdk-11"
}, },
// Add the IDs of extensions you want installed when the container is created. // Add the IDs of extensions you want installed when the container is created.