graphalg/.devcontainer.json at main · wildarch/graphalg · 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
{
    "name": "GraphAlg",
    "image": "ghcr.io/wildarch/graphalg",
    "remoteUser": "ubuntu",
    "runArgs": [
        // Allow GDB to disable address space layout randomization.
        "--cap-add=SYS_PTRACE",
        "--security-opt",
        "seccomp=unconfined",
        "--net=host"
    ],
    "customizations": {
        "vscode": {
            "settings": {
                "editor.formatOnSave": true,
                "editor.rulers": [
                    80
                ],
                "files.insertFinalNewline": true,
                "files.trimTrailingWhitespace": true,
                "mlir.server_path": "/usr/bin/mlir-lsp-server-20",
                "mlir.tablegen_server_path": "/usr/bin/tblgen-lsp-server-20",
                "mlir.pdll_server_path": "/usr/bin/mlir-pdll-lsp-server-20"
            },
            "extensions": [
                "llvm-vs-code-extensions.vscode-clangd",
                "llvm-vs-code-extensions.vscode-mlir"
            ]
        }
    },
    "mounts": [
        // Allow accessing files in the user's home directory from inside the container
        "source=${localEnv:HOME}${localEnv:USERPROFILE},target=/host-home-folder,type=bind,consistency=cached"
    ]
}