dolfiny/.devcontainer.json at main · fenics-dolfiny/dolfiny · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
{
    "name": "dolfiny",
    "customizations": {
        "vscode": {
            "extensions": [
                "charliermarsh.ruff",
                "gitlab.gitlab-workflow",
                "ms-python.mypy-type-checker",
                "ms-toolsai.jupyter",
                "tamasfe.even-better-toml"
            ],
            "settings": {
                "editor.defaultFormatter": "charliermarsh.ruff",
                "editor.formatOnSave": true,
                "editor.codeActionsOnSave": {
                    "source.organizeImports": "explicit",
                    "source.fixAll": "explicit"
                },
                "remote.autoForwardPorts": false,
                "ruff.nativeServer": true,
                "mypy-type-checker.preferDaemon": true,
                "mypy-type-checker.reportingScope": "workspace",
                "python.analysis.extraPaths": [
                    "test"
                ],
                "python.venvPath": "/dolfinx-env"
            }
        }
    },
    "build": {
        "dockerfile": "docker/Dockerfile",
        "context": ".",
        "options": [
            "--progress",
            "plain"
        ]
    },
    "features": {
        "ghcr.io/devcontainers/features/common-utils:2": {}
    },
    "postCreateCommand": "pip3 install --no-deps --editable ."
}