mirror of
https://github.com/tiennm99/serena.git
synced 2026-06-18 00:48:15 +00:00
Michael Panchenko
17 lines
381 B
JSON
17 lines
381 B
JSON
{
|
|
"name": "serena Project",
|
|
"dockerFile": "../Dockerfile",
|
|
"workspaceFolder": "/workspaces/serena",
|
|
"settings": {
|
|
"terminal.integrated.shell.linux": "/bin/bash",
|
|
"python.pythonPath": "/usr/local/bin/python",
|
|
},
|
|
"extensions": [
|
|
"ms-python.python",
|
|
"ms-toolsai.jupyter",
|
|
"ms-python.vscode-pylance"
|
|
],
|
|
"forwardPorts": [],
|
|
"remoteUser": "root",
|
|
}
|