diff options
| author | Chiyuan Zhang <pluskid@gmail.com> | 2020-11-06 19:05:31 -0800 |
|---|---|---|
| committer | Pete Johanson <peter@peterjohanson.com> | 2020-11-16 22:49:20 -0500 |
| commit | 9388b24e7a9ad2b6b4f3e66647c5278bf37de8b8 (patch) | |
| tree | 52ddda9242e723d95b707cadc393052303456007 /.devcontainer | |
| parent | 28a4f33ee728e4144f00daed8b771f7b2d7d0e13 (diff) | |
zmk-config mounting based on docker volume
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 14feeff..0de8bcf 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -6,6 +6,9 @@ "containerEnv": {"WORKSPACE_DIR": "${containerWorkspaceFolder}"}, "settings": { "terminal.integrated.shell.linux": "/bin/bash" - }, + }, + "mounts": [ + "type=volume,source=zmk-config,target=/workspaces/zmk-config" + ] } |