Update devcontainer.json

This commit is contained in:
Kroese 2025-10-19 01:21:08 +02:00 committed by GitHub
parent f671b385a4
commit 4d2a9ca56f
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -12,7 +12,8 @@
}
},
"otherPortsAttributes": {
"onAutoForward": "silent"
},
"dockerComposeFile": "../codespaces.yml"
"onAutoForward": "ignore"
},
"dockerComposeFile": "../codespaces.yml",
"initializeCommand": "docker system prune --all --force"
}