From d38ec2525346b9ec0cbd814c14471c15a14609e8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Joakim=20S=C3=B8rensen?= Date: Fri, 4 Feb 2022 10:29:19 +0100 Subject: [PATCH] move devcontainer definition (#31) --- .devcontainer/devcontainer.json => .devcontainer.json | 1 + 1 file changed, 1 insertion(+) rename .devcontainer/devcontainer.json => .devcontainer.json (93%) diff --git a/.devcontainer/devcontainer.json b/.devcontainer.json similarity index 93% rename from .devcontainer/devcontainer.json rename to .devcontainer.json index dd647a5..a2a6b75 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer.json @@ -8,6 +8,7 @@ "WORKSPACE_DIRECTORY": "${containerWorkspaceFolder}" }, "extensions": ["timonwong.shellcheck", "esbenp.prettier-vscode"], + "mounts": ["type=volume,target=/var/lib/docker"], "settings": { "terminal.integrated.profiles.linux": { "zsh": {