5dplomacy/.vscode/settings.json

{
    "terminal.integrated.profiles.linux": {
        "nix develop": {
            "path": "nix",
            "args": ["develop"]
        }
    }
}