diff --git a/.devcontainer/ghc-9.12.2/devcontainer.json b/.devcontainer/ghc-9.12.3/devcontainer.json similarity index 94% rename from .devcontainer/ghc-9.12.2/devcontainer.json rename to .devcontainer/ghc-9.12.3/devcontainer.json index 3f95f398d6..4ba56636e9 100644 --- a/.devcontainer/ghc-9.12.2/devcontainer.json +++ b/.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", diff --git a/.devcontainer/ghc-9.14.1/devcontainer.json b/.devcontainer/ghc-9.14.1/devcontainer.json new file mode 100644 index 0000000000..d5f7b08d58 --- /dev/null +++ b/.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" + } +}