.devcontainer/devcontainer.json

// For format details, see https://aka.ms/devcontainer.json. For config options, see the
// README at: https://github.com/devcontainers/templates/tree/main/src/python
{
    "name": "linalg-zero",
    // Or use a Dockerfile or Docker Compose file. More info: https://containers.dev/guide/dockerfile
    "image": "mcr.microsoft.com/devcontainers/python:1-3.11-bullseye",
    "runArgs": [
        // avoid UID/GID remapping under rootless Podman
        // This flag works with Podman but not with Docker:
        // "--userns=keep-id",
        "-v", "${localEnv:HOME}/.ssh:/home/vscode/.ssh:ro",
        "--user", "1000:1000"
    ],
    "features": {},

    // Use 'postCreateCommand' to run commands after the container is created.
    "postCreateCommand": "./.devcontainer/postCreateCommand.sh",

    // Configure tool-specific properties.
    "customizations": {
        "vscode": {
            "extensions": ["ms-python.python", "editorconfig.editorconfig"],
            "settings": {
                "python.testing.pytestArgs": ["tests"],
                "python.testing.unittestEnabled": false,
                "python.testing.pytestEnabled": true,
                "python.defaultInterpreterPath": "/workspaces/linalg-zero/.venv/bin/python",
                "python.testing.pytestPath": "/workspaces/linalg-zero/.venv/bin/pytest"
            }
        }
    }
}