{ "name": "Ubuntu", "image": "mcr.microsoft.com/devcontainers/base:jammy", // Features to add to the dev container. More info: https://containers.dev/implementors/features. "features": { "ghcr.io/devcontainers/features/docker-from-docker:1": {}, "ghcr.io/devcontainers/features/nix:1": {}, "./dev_shell": {} }, // Use 'forwardPorts' to make a list of ports inside the container available locally. // "forwardPorts": [], // Use 'postCreateCommand' to run commands after the container is created. "postCreateCommand": ".devcontainer/postCreateCommand.sh", // Configure tool-specific properties. "customizations": { // Configure properties specific to VS Code. "vscode": { // Set *default* container specific settings.json values on container create. "settings": { "terminal.integrated.profiles.linux": { "dev": { "path": "/usr/bin/devShell", "icon": "terminal-bash" } }, "terminal.integrated.defaultProfile.linux": "dev" }, "extensions": [ "jnoortheen.nix-ide", "ms-azuretools.vscode-docker", "eamodio.gitlens", "streetsidesoftware.code-spell-checker", "timonwong.shellcheck", "foxundermoon.shell-format" ] } } // Uncomment to connect as root instead. More info: https://aka.ms/dev-containers-non-root. // "remoteUser": "root" }