Skip to content
Snippets Groups Projects

Add some more options to the devcontainer.json

Merged Anna Wellmann requested to merge devcontainer into main
1 file
+ 3
1
Compare changes
  • Side-by-side
  • Inline
@@ -17,7 +17,9 @@
"build": {
"dockerfile": "VF_ZSH_USER.Dockerfile"
},
"containerEnv": {"HOME": "${containerWorkspaceFolder}"},
"mounts": [
// "source=/temp/output,target=/workspaces/output,type=bind,consistency=cached"
// "source=${localEnv:HOME}/STLs,target=${containerWorkspaceFolder}/stl,type=bind"
]
}
\ No newline at end of file
}
Loading