.devcontainer/devcontainer.json

// For format details, see https://aka.ms/devcontainer.json.

{
	"name": "Verible Dev",
	"build": {
		"dockerfile": "Dockerfile",
	},

	// Configure tool-specific properties.
	"customizations": {
		// Configure properties specific to VS Code.
		"vscode": {
			"settings": {},
			"extensions": [
				"ms-vscode.cpptools-extension-pack"
			]
		}
	}
}