move devcontainer definition (#31)

This commit is contained in:
Joakim Sørensen
2022-02-04 10:29:19 +01:00
committed by GitHub
parent 97ef0aacda
commit d38ec25253

View File

@@ -8,6 +8,7 @@
"WORKSPACE_DIRECTORY": "${containerWorkspaceFolder}" "WORKSPACE_DIRECTORY": "${containerWorkspaceFolder}"
}, },
"extensions": ["timonwong.shellcheck", "esbenp.prettier-vscode"], "extensions": ["timonwong.shellcheck", "esbenp.prettier-vscode"],
"mounts": ["type=volume,target=/var/lib/docker"],
"settings": { "settings": {
"terminal.integrated.profiles.linux": { "terminal.integrated.profiles.linux": {
"zsh": { "zsh": {