diff options
| author | innovaker <66737976+innovaker@users.noreply.github.com> | 2020-12-15 14:44:39 +0000 |
|---|---|---|
| committer | Pete Johanson <peter@peterjohanson.com> | 2020-12-18 09:18:08 -0500 |
| commit | 3b77266bbb43d54a07acf79733190714965ea37e (patch) | |
| tree | 2129e7f4b68687216c4718f60c4d3a599a97f164 /.devcontainer | |
| parent | 89532eadeb3c34a5ecbb867a63eb7a77415d08a2 (diff) | |
feat(devcontainer): add volume mounts for zephyr, modules and tools
This effectively caches Zephyr and its dependencies. It also shares them between containers.
PR: #519
Diffstat (limited to '.devcontainer')
| -rw-r--r-- | .devcontainer/devcontainer.json | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index 7d6acd0..04a42c4 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -8,7 +8,10 @@ }, "mounts": [ "type=volume,source=zmk-root-user,target=/root", - "type=volume,source=zmk-config,target=/workspaces/zmk-config" + "type=volume,source=zmk-config,target=/workspaces/zmk-config", + "type=volume,source=zmk-zephyr,target=${containerWorkspaceFolder}/zephyr", + "type=volume,source=zmk-zephyr-modules,target=${containerWorkspaceFolder}/modules", + "type=volume,source=zmk-zephyr-tools,target=${containerWorkspaceFolder}/tools" ], "extensions": ["ms-vscode.cpptools"], "settings": { |