diff options
| author | JP Ungaretti <git@jungaretti.com> | 2023-03-01 04:40:55 +0300 |
|---|---|---|
| committer | JP Ungaretti <git@jungaretti.com> | 2023-03-01 04:40:55 +0300 |
| commit | 2927e6e4956046d48680f0c4bbf187d0715a66a2 (patch) | |
| tree | 24d1d8a78f0701ad19c3ebce64d7f17075be08b4 /src | |
| parent | 519c3ef6d6886a0a03249ab2ab8dcba66cd0d6c5 (diff) | |
Restore customizations
Diffstat (limited to 'src')
| -rw-r--r-- | src/dotnet/devcontainer-feature.json | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/dotnet/devcontainer-feature.json b/src/dotnet/devcontainer-feature.json index 1c317fd..06045c8 100644 --- a/src/dotnet/devcontainer-feature.json +++ b/src/dotnet/devcontainer-feature.json @@ -31,6 +31,13 @@ "DOTNET_ROOT": "/usr/local/dotnet/current", "PATH": "/usr/local/dotnet/current:${PATH}" }, + "customizations": { + "vscode": { + "extensions": [ + "ms-dotnettools.csharp" + ] + } + }, "installsAfter": [ "ghcr.io/devcontainers/features/common-utils" ] |