devcontainer.json

{
	"name": "SCORE Dev Container",
	"build": {
		// Sets the run context to one level up instead of the .devcontainer folder.
		"context": "..",
		// Update the 'dockerFile' property if you aren't using the standard 'Dockerfile' filename.
		"dockerfile": "./Dockerfile",
		"args": {
			//specifying the base image -> only debian based images supported, as apt-get is used
			"BASE_IMAGE": "debian:12",
			// version for g++ compiler
			"GCC_VERSION":"11",
			// version for clang-tidy and clang-format
			"LLVM_VERSION": "16"
		}
	},
	"customizations": {
		"vscode": {
			"extensions": [
				"ms-vscode.cpptools",
				"ms-vscode.cmake-tools",
				"ms-vscode.makefile-tools",
				"ms-vscode.cpptools-extension-pack",
				"hediet.vscode-drawio",
				"jebbs.plantuml",
				"streetsidesoftware.code-spell-checker",
				"BazelBuild.vscode-bazel",
				"eamodio.gitlens",
				"ms-python.python",
    			"ms-python.vscode-pylance"
			]
		}
	},

	// Features to add to the dev container. More info: https://containers.dev/features.
	// "features": {},

	// 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.
	"postCreateCommand": "bash .devcontainer/S-CORE/post_create_script.sh"

	// Configure tool-specific properties.
	// "customizations": {},

	// Uncomment to connect as an existing user other than the container default. More info: https://aka.ms/dev-containers-non-root.
	// "remoteUser": "devcontainer"
}