{

"name": "GHC 9.10.3 (default)",

"build": {

"dockerfile": "GHC.Dockerfile",

"args": {

"GHC_VERSION": "9.10.3",

// "SUBTAG": "int-native",

"HLS_VERSION": "2.13.0.0",

"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",

"haskell.haskell",

"mhutchie.git-graph",

"mutantdino.resourcemonitor",

"timonwong.shellcheck"

],

"settings": {

"gitlens.showWelcomeOnInstall": false,

"gitlens.showWhatsNewAfterUpgrades": false,

"haskell.manageHLS": "PATH",

"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"

}

}