diff options
author | gVisor bot <gvisor-bot@google.com> | 2021-02-03 11:02:50 -0800 |
---|---|---|
committer | gVisor bot <gvisor-bot@google.com> | 2021-02-03 11:02:50 -0800 |
commit | d3113ad44075efa8fa84f2fd9e5267181d056a3d (patch) | |
tree | 7c0f22cbaae730a9dda6e4ed685c2d6881d0fa25 /.devcontainer.json | |
parent | 5106e66fddba47e4edefd6a0dbb406421d8ef4de (diff) | |
parent | ea63a4e733067713fc8856c0e22e23d1dad7c8e0 (diff) |
Merge pull request #5418 from amscanne:codespace
PiperOrigin-RevId: 355434313
Diffstat (limited to '.devcontainer.json')
-rw-r--r-- | .devcontainer.json | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/.devcontainer.json b/.devcontainer.json new file mode 100644 index 000000000..6f7fe4bf8 --- /dev/null +++ b/.devcontainer.json @@ -0,0 +1,9 @@ +{ + "dockerFile": "images/default/Dockerfile", + "overrideCommand": true, + "mounts": ["source=/var/run/docker.sock,target=/var/run/docker-host.sock,type=bind"], + "runArgs": ["--cap-add=SYS_PTRACE", "--security-opt", "seccomp=unconfined"], + "extensions": [ + "bazelbuild.vscode-bazel" + ] +} |