mirror of https://github.com/mingrammer/diagrams
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
21 lines
480 B
21 lines
480 B
{
|
|
"name": "diagrams",
|
|
"build": {
|
|
// Path is relative to the devcontainer.json file.
|
|
"dockerfile": "Dockerfile"
|
|
},
|
|
"customizations": {
|
|
"vscode": {
|
|
"extensions": [
|
|
"ms-python.python",
|
|
"ms-python.debugpy",
|
|
"mhutchie.git-graph",
|
|
"mutantdino.resourcemonitor",
|
|
"tehpeng.diagramspreviewer"
|
|
]
|
|
}
|
|
},
|
|
"workspaceMount": "source=${localWorkspaceFolder},target=/usr/src/diagrams,type=bind",
|
|
"workspaceFolder": "/usr/src/diagrams"
|
|
}
|