From 5e945efcdf19a147f508a5662685277046f350c4 Mon Sep 17 00:00:00 2001 From: Jonathon Marolf Date: Thu, 29 Oct 2020 10:23:39 -0700 Subject: [PATCH] add devcontainer --- .devcontainer/devcontainer.json | 3 +++ .devcontainer/devinit.json | 7 +++++++ 2 files changed, 10 insertions(+) create mode 100644 .devcontainer/devcontainer.json create mode 100644 .devcontainer/devinit.json diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json new file mode 100644 index 0000000000..87ca8a9abe --- /dev/null +++ b/.devcontainer/devcontainer.json @@ -0,0 +1,3 @@ +{ + "postCreateCommand": "devinit init" +} \ No newline at end of file diff --git a/.devcontainer/devinit.json b/.devcontainer/devinit.json new file mode 100644 index 0000000000..14bf3f849b --- /dev/null +++ b/.devcontainer/devinit.json @@ -0,0 +1,7 @@ +{ + "run": [ + { + "tool": "require-dotnetcoresdk" + } + ] +} \ No newline at end of file