// For format details, see https://aka.ms/devcontainer.json. For config options, see the README at:
// https://github.com/microsoft/vscode-dev-containers/tree/v0.166.1/containers/docker-existing-dockerfile
{
	"name": "PICARD Development Container",
	"image": "tscholak/text-to-sql-dev:devcontainer",
	// Set *default* container specific settings.json values on container create.
	"settings": {
		"terminal.integrated.defaultProfile.linux": "zsh"
	},
	// Add the IDs of extensions you want installed when the container is created.
	"extensions": [
		"mrkou47.thrift-syntax-support",
		"haskell.haskell",
		"justusadam.language-haskell",
		"ms-toolsai.jupyter",
		"ms-python.vscode-pylance",
		"ms-python.python",
		"rust-lang.rust",
		"ms-vsliveshare.vsliveshare",
		"alexcvzz.vscode-sqlite",
		"bungcip.better-toml"
	],
	// Use 'forwardPorts' to make a list of ports inside the container available locally.
	// "forwardPorts": [],
	// Uncomment the next line to run commands after the container is created - for example installing curl.
	"postCreateCommand": "bash -c \"pushd third_party/hsthrift && make THRIFT_COMPILE=thrift-compiler thrift-cpp thrift-hs && rm -rf compiler/tests && popd && make build-thrift-code\"",
	// Uncomment when using a ptrace-based debugger like C++, Go, and Rust
	"runArgs": [
		"--cap-add=SYS_PTRACE",
		"--security-opt",
		"seccomp=unconfined"
	],
	// Uncomment to use the Docker CLI from inside the container. See https://aka.ms/vscode-remote/samples/docker-from-docker.
	// "mounts": [ "source=/var/run/docker.sock,target=/var/run/docker.sock,type=bind" ],
	// Uncomment to connect as a non-root user if you've added one. See https://aka.ms/vscode-remote/containers/non-root.
	"remoteUser": "toolkit"
}