1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
{
"name": "Avro Development",
"build": { "dockerfile": "../share/docker/Dockerfile" },
// Use 'settings' to set *default* container specific settings.json values on container create.
// You can edit these settings after create using File > Preferences > Settings > Remote.
"settings": {
},
// Add the IDs of extensions you want installed when the container is created in the array below.
"extensions": [
// Python
"ms-python.python",
"ms-python.vscode-pylance",
// C/C++
"ms-vscode.cpptools",
// C#
"ms-dotnettools.csharp",
// Rust
"vadimcn.vscode-lldb",
"mutantdino.resourcemonitor",
"matklad.rust-analyzer",
"tamasfe.even-better-toml",
"serayuzgur.crates",
// Java
"vscjava.vscode-java-pack",
// Shell script
"timonwong.shellcheck",
// YAML
"redhat.vscode-yaml",
// Git
"eamodio.gitlens"
]
}
|
