// https://aka.ms/devcontainer.json
{
    "name": "Shell and Python dev tools (Ubuntu)",
    //
    // https://github.com/aureliojargas/devcontainer
    "image": "ghcr.io/aureliojargas/devcontainer:latest",
    //
    // https://aka.ms/vscode-remote/containers/non-root
    "remoteUser": "vscode",
    //
    // https://github.com/devcontainers/features/tree/main/src
    "features": {
        "github-cli": "latest",
        // Makefile commands are run inside the clitest-dev Docker container
        "docker-in-docker": "latest"
    }
}

Add support for dev container (GitHub Codespaces)
Add support for dev container (GitHub Codespaces)

This is Ubuntu 22.04 with git plus dev tools for Shell.

See https://github.com/aureliojargas/devcontainer for details on
the container contents.
