devcontainer/devcontainer.json at main · libfn/devcontainer · 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
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
{
    //  devcontainer.json is mapped to JSONC - hooray for comments !
    "name": "${devcontainerId}",
    "build": {
        "dockerfile": "Dockerfile",
        "args": {
            "CLANG_RELEASE": "22",
            "GCC_RELEASE": "15"
        }
    },
    "initializeCommand": [
        "/bin/mkdir",
        "-p",
        "/tmp/devcontainer-${localEnv:UID}/${devcontainerId}"
    ],
    "containerEnv": {
        "DEVCONTAINER_ID": "${devcontainerId}",
        // Pass ssh-agent sock for git authentication
        "SSH_AUTH_SOCK": "/run/user/${localEnv:UID}/ssh",
        "CCACHE_BASEDIR": "${localWorkspaceFolder}",
        "WORK": "${localWorkspaceFolder}"
    },
    "init": true,
    "customizations": {
        "vscode": {
            "extensions": [
                "llvm-vs-code-extensions.vscode-clangd",
                "xaver.clang-format",
                "eamodio.gitlens",
                "GitHub.vscode-pull-request-github",
                "ajshort.include-autocomplete",
                "ms-azuretools.vscode-docker",
                "GitHub.remotehub",
                "ms-vscode.cmake-tools",
                "github.vscode-github-actions",
                "bierner.markdown-preview-github-styles",
                "donjayamanne.githistory",
                "twxs.cmake",
                "ms-vsliveshare.vsliveshare"
            ]
        }
    },
    //  Same workspace folder makes it easier to share files between host and container
    "workspaceMount": "source=${localWorkspaceFolder},target=${localWorkspaceFolder},type=bind,consistency=cached",
    "workspaceFolder": "${localWorkspaceFolder}",
    "mounts": [
        {
            "source": "/tmp/devcontainer-${localEnv:UID}/${devcontainerId}",
            "target": "/tmp",
            "type": "bind"
        },
        {
            // Pass ssh-agent sock for git authentication
            "source": "${localEnv:SSH_AUTH_SOCK}",
            "target": "/run/user/${localEnv:UID}/ssh",
            "type": "bind"
        },
        {
            //  This allows sharing of ccache data between containers
            "source": "ccache_data",
            "target": "/root/.ccache",
            "type": "volume"
        }
    ],
    // For debugging
    "capAdd": [
        "SYS_PTRACE"
    ],
    "securityOpt": [
        "seccomp=unconfined"
    ]
}