Merge pull request #6839 from benz0li/update-dev-containers-9724b36

Dev Containers: Update experimental GHC versions

Author: mpilgrem

…evcontainer/ghc-9.12.2/devcontainer.json …evcontainer/ghc-9.12.3/devcontainer.json.devcontainer/ghc-9.12.2/devcontainer.json renamed to .devcontainer/ghc-9.12.3/devcontainer.json .devcontainer/ghc-9.12.2/devcontainer.json renamed to .devcontainer/ghc-9.12.3/devcontainer.json

@@ -1,10 +1,10 @@
 {
-  "name": "GHC 9.12.2 (experimental)",
+  "name": "GHC 9.12.3 (experimental)",
   "build": {
     "dockerfile": "../GHC.Dockerfile",
     "context": "..",
     "args": {
-      "GHC_VERSION": "9.12.2",
+      "GHC_VERSION": "9.12.3",
       // "SUBTAG": "int-native",
       "USE_ZSH_FOR_ROOT": "unset-to-use-ash",
       "LANG": "C.UTF-8",

.devcontainer/ghc-9.14.1/devcontainer.json

@@ -0,0 +1,55 @@
+{
+  "name": "GHC 9.14.1 (experimental)",
+  "build": {
+    "dockerfile": "../GHC.Dockerfile",
+    "context": "..",
+    "args": {
+      "GHC_VERSION": "9.14.1",
+      // "SUBTAG": "int-native",
+      "USE_ZSH_FOR_ROOT": "unset-to-use-ash",
+      "LANG": "C.UTF-8",
+      "TZ": ""
+    }
+  },
+
+  "initializeCommand": [".devcontainer/init"],
+  "onCreateCommand": "onCreateCommand.sh",
+  "postCreateCommand": "postCreateCommand.sh",
+
+  "features": {
+    "ghcr.io/devcontainers/features/common-utils:2": {
+      "configureZshAsDefaultShell": true,
+      "upgradePackages": false,
+      "username": "vscode",
+      "userUid": "automatic",
+      "userGid": "automatic"
+    }
+  },
+
+  "customizations": {
+    "vscode": {
+      "extensions": [
+        "/var/tmp/extensions/eamodio.gitlens-11.7.0.vsix",
+        "exiasr.hadolint",
+        "GitHub.vscode-pull-request-github",
+        "mhutchie.git-graph",
+        "mutantdino.resourcemonitor",
+        "timonwong.shellcheck"
+      ],
+      "settings": {
+        "gitlens.showWelcomeOnInstall": false,
+        "gitlens.showWhatsNewAfterUpgrades": false,
+        "resmon.show.battery": false,
+        "resmon.show.cpufreq": false
+      }
+    }
+  },
+
+  // Set 'remoteUser' to 'root' to connect as root instead.
+  "remoteUser": "vscode",
+
+  "remoteEnv": {
+    // Pip: Install packages to the user site
+    "PIP_USER": "1"
+  }
+}