diff --git a/.devcontainer/ghc-9.4.6/devcontainer.json b/.devcontainer/ghc-9.4.6/devcontainer.json deleted file mode 100644 index 1dc7d2a263..0000000000 --- a/.devcontainer/ghc-9.4.6/devcontainer.json +++ /dev/null @@ -1,59 +0,0 @@ -{ - "name": "GHC 9.4.6", - "build": { - "dockerfile": "../GHC.Dockerfile", - "context": "..", - "args": { - "GHC_VERSION": "9.4.6", - "USE_ZSH_FOR_ROOT": "unset-to-use-ash", - "SET_LANG": "C.UTF-8", - "SET_TZ": "" - } - }, - - "onCreateCommand": "onCreateCommand.sh", - "postCreateCommand": "cabal update", - - "features": { - "ghcr.io/devcontainers/features/common-utils:2": { - "configureZshAsDefaultShell": true, - "upgradePackages": false, - "username": "vscode", - "userUid": "automatic", - "userGid": "automatic" - } - }, - - "customizations": { - "vscode": { - "extensions": [ - "eamodio.gitlens@11.7.0", - "exiasr.hadolint", - "GitHub.vscode-pull-request-github", - "mhutchie.git-graph", - "mutantdino.resourcemonitor", - "esbenp.prettier-vscode", - "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", - "mounts": [ - "source=stack-ghc-9.4.6-home-vscode,target=/home/vscode,type=volume" - // "source=${localWorkspaceFolder}/.devcontainer/bind-mounts/stack-ghc-9.4.6-home-vscode,target=/home/vscode,type=bind" - ] - - // "remoteUser": "root", - // "mounts": [ - // "source=stack-ghc-9.4.6-root,target=/root,type=volume" - // // "source=${localWorkspaceFolder}/.devcontainer/bind-mounts/stack-ghc-9.4.6-root,target=/root,type=bind" - // ] -}