update devcontainer

This commit is contained in:
2025-06-06 19:40:57 +02:00
parent 2b183a4416
commit 7481d1ab63

View File

@@ -7,11 +7,16 @@
}, },
"ghcr.io/devcontainers/features/git:1": {} "ghcr.io/devcontainers/features/git:1": {}
}, },
"containerEnv": {
"GIT_REPO_URL": "https://scm.vilanet.fr/kriss/slot"
},
"customizations": { "customizations": {
"jetbrains": { "jetbrains": {
"backend": "IntelliJ" "backend": "IntelliJ"
} }
}, },
"forwardPorts": [8080], "forwardPorts": [8080],
"workspaceFolder": "/workspace" "workspaceFolder": "/workspace",
"//": "workspaceMount: source=jb_devcontainer_sources_f31d2e11122d7a0f1e78fb3337cc2916,target=/workspace,type=volume",
"//": "postCreateCommand: if [ ! -d .git ]; then git clone $GIT_REPO_URL .; fi"
} }