2022-11-08 07:23:15 -05:00
|
|
|
{
|
2022-11-16 07:47:01 -05:00
|
|
|
"name": "Deno",
|
|
|
|
|
"build": {
|
|
|
|
|
"dockerfile": "Dockerfile"
|
|
|
|
|
},
|
2022-11-08 07:23:15 -05:00
|
|
|
|
2022-11-16 07:47:01 -05:00
|
|
|
// Configure tool-specific properties.
|
|
|
|
|
"customizations": {
|
|
|
|
|
// Configure properties specific to VS Code.
|
|
|
|
|
"vscode": {
|
|
|
|
|
// Set *default* container specific settings.json values on container create.
|
|
|
|
|
"settings": {
|
|
|
|
|
// Enables the project as a Deno project
|
|
|
|
|
"deno.enable": true,
|
|
|
|
|
// Enables Deno linting for the project
|
|
|
|
|
"deno.lint": true,
|
|
|
|
|
// Sets Deno as the default formatter for the project
|
|
|
|
|
"editor.defaultFormatter": "denoland.vscode-deno"
|
|
|
|
|
},
|
2022-11-08 07:23:15 -05:00
|
|
|
|
2022-11-16 07:47:01 -05:00
|
|
|
// Add the IDs of extensions you want installed when the container is created.
|
|
|
|
|
"extensions": [
|
|
|
|
|
"denoland.vscode-deno"
|
|
|
|
|
]
|
|
|
|
|
}
|
|
|
|
|
},
|
|
|
|
|
|
|
|
|
|
"remoteUser": "vscode"
|
|
|
|
|
}
|