mirror of
https://github.com/maxdorninger/MediaManager.git
synced 2026-04-18 02:54:07 +02:00
32 lines
1.1 KiB
JSON
32 lines
1.1 KiB
JSON
// For format details, see https://aka.ms/devcontainer.json. For config options, see the
|
|
// README at: https://github.com/devcontainers/templates/tree/main/src/postgres
|
|
{
|
|
"name": "Python 3 & PostgreSQL",
|
|
"dockerComposeFile": "./docker-compose.yml",
|
|
"service": "app",
|
|
"workspaceFolder": "/workspaces/${localWorkspaceFolderBasename}",
|
|
|
|
// Features to add to the dev container. More info: https://containers.dev/features.
|
|
// "features": {},
|
|
|
|
// Use 'forwardPorts' to make a list of ports inside the container available locally.
|
|
// This can be used to network with other containers or the host.
|
|
// "forwardPorts": [5000, 5432],
|
|
|
|
// Use 'postCreateCommand' to run commands after the container is created.
|
|
"postCreateCommand": "pip install --user -r ./MediaManager/src/requirements.txt",
|
|
|
|
// Configure tool-specific properties.
|
|
"customizations" : {
|
|
"jetbrains" : {
|
|
"settings": {
|
|
"com.intellij:app:HttpConfigurable.use_proxy_pac": true
|
|
},
|
|
"backend" : "PyCharm"
|
|
}
|
|
},
|
|
|
|
// Uncomment to connect as root instead. More info: https://aka.ms/dev-containers-non-root.
|
|
// "remoteUser": "root"
|
|
}
|