17 lines
303 B
JSON
17 lines
303 B
JSON
{
|
|
"dockerComposeFile": "./docker-compose.yml",
|
|
"service": "game",
|
|
"workspaceFolder": "/game",
|
|
"forwardPorts": [3000],
|
|
"customizations": {
|
|
"vscode": {
|
|
"settings": {
|
|
"remote.autoForwardPorts": false
|
|
},
|
|
"extensions": [
|
|
"leanprover.lean4"
|
|
]
|
|
}
|
|
}
|
|
}
|