mirror of
https://github.com/nodejs/node.git
synced 2024-11-21 10:59:27 +00:00
0c5f253339
PR-URL: https://github.com/nodejs/node/pull/40825 Reviewed-By: James M Snell <jasnell@gmail.com>
20 lines
470 B
JSON
20 lines
470 B
JSON
{
|
|
"name": "Node.js Core Developer Environment",
|
|
"extensions": [
|
|
"github.vscode-pull-request-github",
|
|
"ms-vsliveshare.vsliveshare",
|
|
"vscode-icons-team.vscode-icons",
|
|
"visualstudioexptteam.vscodeintellicode"
|
|
],
|
|
"dockerFile": "Dockerfile",
|
|
"initializeCommand": "docker system prune -f -a",
|
|
"settings": {
|
|
"terminal.integrated.profiles.linux": {
|
|
"zsh (login)": {
|
|
"path": "zsh",
|
|
"args": ["-l"]
|
|
}
|
|
}
|
|
}
|
|
}
|