kozorizki/gaphor
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Add init option to clean up zombie processes

Browse Source
This commit is contained in:
Arjan Molenaar 2022-08-16 17:31:15 +02:00
parent 944d7668f6
commit 1f7d0c926a
No known key found for this signature in database
GPG Key ID: BF977B918996CB13
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
.devcontainer/devcontainer.json
View File

@ -8,7 +8,10 @@
"args": { "VARIANT": "jammy" }
},
"workspaceMount": "",
"runArgs": ["--volume=${localWorkspaceFolder}:/workspaces/${localWorkspaceFolderBasename}:Z"],
"runArgs": [
"--init",
"--volume=${localWorkspaceFolder}:/workspaces/${localWorkspaceFolderBasename}:Z"
],
// Configure tool-specific properties.
"customizations": {