summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorAdin Scannell <ascannell@google.com>2020-09-18 20:26:11 +0000
committerGitHub <noreply@github.com>2021-02-01 20:08:00 +0000
commit196c9de99e65a7c794814f26d2f397a27443b255 (patch)
tree023564406cd708b5e88a4b527b88c9a10d76e0e4
parent726100f8eb88e8ea97ef5770b47a271276a8b741 (diff)
Add basic VSCode plumbing.
-rw-r--r--.devcontainer.json8
-rw-r--r--.vscode/tasks.json31
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"
+ }
+ }
+ ]
+}