diff options
author | Adin Scannell <ascannell@google.com> | 2020-09-18 20:26:11 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-02-01 20:08:00 +0000 |
commit | 196c9de99e65a7c794814f26d2f397a27443b255 (patch) | |
tree | 023564406cd708b5e88a4b527b88c9a10d76e0e4 | |
parent | 726100f8eb88e8ea97ef5770b47a271276a8b741 (diff) |
Add basic VSCode plumbing.
-rw-r--r-- | .devcontainer.json | 8 | ||||
-rw-r--r-- | .vscode/tasks.json | 31 |
2 files changed, 39 insertions, 0 deletions
diff --git a/.devcontainer.json b/.devcontainer.json new file mode 100644 index 000000000..cdb129dcf --- /dev/null +++ b/.devcontainer.json @@ -0,0 +1,8 @@ +{ + "dockerFile": "images/default/Dockerfile", + "mounts": ["source=/var/run/docker.sock,target=/var/run/docker.sock,type=bind"], + "overrideCommand": true, + "extensions": [ + "bazelbuild.vscode-bazel" + ] +} diff --git a/.vscode/tasks.json b/.vscode/tasks.json new file mode 100644 index 000000000..42a018434 --- /dev/null +++ b/.vscode/tasks.json @@ -0,0 +1,31 @@ +{ + "version": "2.0.0", + "tasks": [ + { + "label": "Build", + "type": "shell", + "command": "bazel build //...", + "group": { + "kind": "build", + "isDefault": true + }, + "presentation": { + "reveal": "always", + "panel": "new" + } + }, + { + "label": "Test", + "type": "shell", + "command": "bazel test //...", + "group": { + "kind": "test", + "isDefault": true + }, + "presentation": { + "reveal": "always", + "panel": "new" + } + } + ] +} |