Kilian Lieret
47257081ec
[skip-CI] * Codespaces: Remove shell setting; fix extensions setting [skip-ci] * Codespaces: Copy sample keys.cfg [skip-ci] * Codespaces: Add codespace badge [skip-CI]
23 lines
629 B
JSON
23 lines
629 B
JSON
{
|
|
"name": "SWE-Agent Codespace",
|
|
"image": "mcr.microsoft.com/vscode/devcontainers/miniconda:0-3",
|
|
"customizations":{
|
|
"vscode":{
|
|
"extensions": [
|
|
"ms-python.python",
|
|
"ms-azuretools.vscode-docker",
|
|
"ms-toolsai.jupyter"
|
|
]
|
|
}
|
|
},
|
|
"onCreateCommand": "./.devcontainer/oncreate.sh",
|
|
"postCreateCommand": "./.devcontainer/postcreate.sh",
|
|
"features": {
|
|
"docker-in-docker": "latest"
|
|
},
|
|
"mounts": [
|
|
"source=/var/run/docker.sock,target=/var/run/docker.sock,type=bind"
|
|
],
|
|
"remoteUser": "vscode"
|
|
}
|