-
Notifications
You must be signed in to change notification settings - Fork 856
Expand file tree
/
Copy pathdevcontainer.json
More file actions
35 lines (35 loc) · 1.36 KB
/
devcontainer.json
File metadata and controls
35 lines (35 loc) · 1.36 KB
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
// For format details, see https://aka.ms/vscode-remote/devcontainer.json or this file's README at:
{
"name": "F#",
"image": "mcr.microsoft.com/dotnet/sdk:10.0.100",
"features": {
"ghcr.io/devcontainers/features/common-utils:2.5.4": {},
"ghcr.io/devcontainers/features/git:1.3.4": {},
"ghcr.io/devcontainers/features/github-cli:1.0.14": {},
"ghcr.io/devcontainers/features/dotnet:2.4.0": {}
},
"hostRequirements": {
"cpus": 2,
"memory": "4gb",
"storage": "32gb"
},
"customizations": {
"vscode": {
// Add the IDs of extensions you want installed when the container is created.
"extensions": [
"GitHub.copilot",
"GitHub.vscode-github-actions",
"ms-dotnettools.vscode-dotnet-runtime",
"ms-dotnettools.csdevkit",
"ms-dotnettools.csharp",
"Ionide.Ionide-fsharp",
"tintoy.msbuild-project-tools"
]
}
},
"remoteEnv": {
"FSHARPCORE_USE_PACKAGE": "false",
"PATH": "${localWorkspaceFolder}/.dotnet:${containerEnv:PATH}"
},
"postCreateCommand": [ "bash", "-c", "eng/common/dotnet.sh && cp -r .dotnet/sdk/* /usr/share/dotnet/sdk && cp -r .dotnet/shared/Microsoft.NETCore.App/* /usr/share/dotnet/shared/Microsoft.NETCore.App" ]
}