Simplify devcontainer config.

Author: fniephaus

.devcontainer/Dockerfile

@@ -3,7 +3,6 @@
 # Copyright (c) 2021, 2022 Oracle and/or its affiliates. All rights reserved.
 #
 
-# FROM ghcr.io/graalvm/graalvm-ce:latest
 FROM container-registry.oracle.com/os/oraclelinux:7-slim
 
 RUN yum update -y oraclelinux-release-el7 \
@@ -29,7 +28,3 @@ RUN git clone https://github.com/pyenv/pyenv.git ${PYENV_ROOT} \
     && mx --java-home= fetch-jdk --jdk-id labsjdk-ce-11 --to jdk-dl --alias ${JAVA_HOME}
 
 CMD mx --version
-
-# Test
-# /bin/docker build -f /data/graal/.devcontainer/Dockerfile -t vsc-graal-9e1c7cad5a1f4ab3e7dc161be944ff9b /data/graal/.devcontainer
-# docker run --rm -it -v $(pwd):/workspace/graal vsc-graal-9e1c7cad5a1f4ab3e7dc161be944ff9b /bin/bash

.devcontainer/devcontainer.json

@@ -1,15 +1,8 @@
 {
-	"name": "GraalVM dev environment",
+	"name": "GraalVM CE dev environment",
 	"dockerFile": "Dockerfile",
 
-	// Set *default* container specific settings.json values on container create.
-	"settings": {
-		"terminal.integrated.shell.linux": "/bin/bash"
-	},
-
-	// Add the IDs of extensions you want installed when the container is created.
 	"extensions": [
-		"vscjava.vscode-java-pack",
-		"bungcip.better-toml"
+		"vscjava.vscode-java-pack"
 	]
 }