Use volume as Docker storage location (#3337)

2022-05-11 12:23:28 +02:00 · 2022-05-11 12:23:28 +02:00 · eabd976d33
parent 99023b9522
commit eabd976d33
1 changed files with 1 additions and 0 deletions
--- a/.devcontainer/devcontainer.json
+++ b/.devcontainer/devcontainer.json
@ -10,6 +10,7 @@
    "visualstudioexptteam.vscodeintellicode",
    "esbenp.prettier-vscode"
  ],
+  "mounts": [ "type=volume,target=/var/lib/docker" ],
  "settings": {
    "terminal.integrated.profiles.linux": {
      "zsh": {