// For format details, see https://aka.ms/devcontainer.json. For config options, see the
// README at: https://github.com/devcontainers/templates/tree/main/src/docker-existing-dockerfile
{
  "name": "Existing Dockerfile",
  "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"
  },

  // Features to add to the dev container. More info: https://containers.dev/features.
  "features": {},
  "customizations": {
    "vscode": {
      "extensions": [
		"eamodio.gitlens",
		"esbenp.prettier-vscode",
		"llvm-vs-code-extensions.vscode-clangd",
		"ms-azuretools.vscode-docker",
		"ms-python.python",
		"ms-python.vscode-pylance",
		"ms-vscode.cpptools",
		"ms-vscode.makefile-tools",
		"rust-lang.rust-analyzer",
		"tomoki1207.pdf",
		"nvarner.typst-lsp",
		"tamasfe.even-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.
  // "postCreateCommand": "cat /etc/os-release",

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