From b0408a9a6b3c69cf0332640bbf36c46d3ecae93f Mon Sep 17 00:00:00 2001 From: Dennis Kempin Date: Tue, 8 Nov 2022 14:29:45 -0800 Subject: [PATCH] Add devcontainer config for codespaces This config does not include the privileges of the usual devcontainer. BUG=None TEST=Open in github codespaces Passes both: cargo test --workspace --lib --bins --features=all-x86_64 tools/run_tests --unit-tests Change-Id: Ia68b0b4f7baa2be109079909eb023ba4eda5e037 Reviewed-on: https://chromium-review.googlesource.com/c/crosvm/crosvm/+/4015008 Reviewed-by: Zihan Chen Commit-Queue: Dennis Kempin --- .devcontainer/codespace/devcontainer.json | 12 ++++++++++++ .devcontainer/{ => default}/devcontainer.json | 2 +- 2 files changed, 13 insertions(+), 1 deletion(-) create mode 100644 .devcontainer/codespace/devcontainer.json rename .devcontainer/{ => default}/devcontainer.json (92%) diff --git a/.devcontainer/codespace/devcontainer.json b/.devcontainer/codespace/devcontainer.json new file mode 100644 index 0000000000..85b025bee3 --- /dev/null +++ b/.devcontainer/codespace/devcontainer.json @@ -0,0 +1,12 @@ +{ + "image": "gcr.io/crosvm-infra/crosvm_dev:r0031", + "extensions": [ + "rust-lang.rust-analyzer", + "bungcip.better-toml", + "esbenp.prettier-vscode", + "ms-python.vscode-pylance", + "foxundermoon.shell-format", + "timonwong.shellcheck" + ], + "updateContentCommand": "git submodule update --init" +} diff --git a/.devcontainer/devcontainer.json b/.devcontainer/default/devcontainer.json similarity index 92% rename from .devcontainer/devcontainer.json rename to .devcontainer/default/devcontainer.json index 6d9236327f..d40618d6d8 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/default/devcontainer.json @@ -1,5 +1,5 @@ { - "image": "gcr.io/crosvm-infra/crosvm_dev:r0019", + "image": "gcr.io/crosvm-infra/crosvm_dev_user:r0031", "extensions": [ "rust-lang.rust-analyzer", "bungcip.better-toml",