Created
October 4, 2023 15:41
-
-
Save fbehrens/145c259b09d4d3f743e0cfdca01cb436 to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Show hidden characters
// For format details, see https://aka.ms/devcontainer.json. For config options, see the | |
// README at: https://github.com/devcontainers/templates/tree/main/src/dotnet-fsharp | |
{ | |
"name": "F# (.NET)", | |
// Or use a Dockerfile or Docker Compose file. More info: https://containers.dev/guide/dockerfile | |
"image": "mcr.microsoft.com/devcontainers/dotnet:0-6.0-bullseye", | |
// Features to add to the dev container. More info: https://containers.dev/features. | |
"features": { | |
"ghcr.io/devcontainers/features/node:1": { | |
"version": "latest" | |
} | |
}, | |
// Configure tool-specific properties. | |
"customizations": { | |
// Configure properties specific to VS Code. | |
"vscode": { | |
// Add the IDs of extensions you want installed when the container is created. | |
"extensions": [ | |
"Ionide.Ionide-fsharp", | |
"ms-dotnettools.csharp" | |
] | |
} | |
} | |
// Use 'forwardPorts' to make a list of ports inside the container available locally. | |
// "forwardPorts": [], | |
// Use 'postCreateCommand' to run commands after the container is created. | |
// "postCreateCommand": "dotnet restore", | |
// Uncomment to connect as root instead. More info: https://aka.ms/dev-containers-non-root. | |
// "remoteUser": "root" | |
} |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment