GEOS/.devcontainer/devcontainer.json at ff9c4c3bba93030d5eba2915fb45618bcc9b1fec · GEOS-DEV/GEOS · 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
43
44
45
46
47
48
49
50
51
52
53
54
55
56
{
    "build": {
        "dockerfile": "Dockerfile",
        "args": {
            "GEOS_TPL_TAG": "336-919"
        }
    },
    "runArgs": [
        "--cap-add=SYS_PTRACE",
        "--security-opt",
        "seccomp=unconfined"
    ],
    "customizations": {
        "vscode": {
            "extensions": [
                "eamodio.gitlens",
                "fredericbonnet.cmake-test-adapter",
                "GitHub.vscode-github-actions",
                "GitHub.vscode-pull-request-github",
                "ms-vscode.cpptools-extension-pack",
                "redhat.vscode-xml"
            ]
        },
        "codespaces": {
            "repositories": {
                "GEOS-DEV/hdf5_interface": {
                    "permissions": {
                        "contents": "write"
                    }
                },
                "GEOS-DEV/integratedTests": {
                    "permissions": {
                        "contents": "write"
                    }
                },
                "GEOS-DEV/LvArray": {
                    "permissions": {
                        "contents": "write"
                    }
                },
                "GEOS-DEV/PVTPackage": {
                    "permissions": {
                        "contents": "write"
                    }
                }
            },
            "openFiles": []
        }
    },
    "features": {
        "ghcr.io/devcontainers/features/sshd:1": {
            "version": "latest"
        }
    },
    "postCreateCommand": "bash .devcontainer/postCreateCommand.sh"
}