Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
34 changes: 34 additions & 0 deletions .config/dotnet-tools.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,34 @@
{
"version": 1,
"isRoot": true,
"tools": {
"dotnet-reportgenerator-globaltool": {
"version": "5.4.7",
"commands": [
"reportgenerator"
],
"rollForward": false
},
"fsharp-analyzers": {
"version": "0.31.0",
"commands": [
"fsharp-analyzers"
],
"rollForward": false
},
"fantomas": {
"version": "7.0.2",
"commands": [
"fantomas"
],
"rollForward": false
},
"fsdocs-tool": {
"version": "20.0.1",
"commands": [
"fsdocs"
],
"rollForward": false
}
}
}
17 changes: 17 additions & 0 deletions .devcontainer/Dockerfile
Original file line number Diff line number Diff line change
@@ -0,0 +1,17 @@
# [Choice] Debian version (use bullseye on local arm64/Apple Silicon): bookworm, bullseye, buster
ARG VARIANT="bookworm"
FROM buildpack-deps:${VARIANT}-curl


ENV \
# Enable detection of running in a container
DOTNET_RUNNING_IN_CONTAINER=true \
DOTNET_ROOT=/usr/share/dotnet/ \
DOTNET_NOLOGO=true \
DOTNET_CLI_TELEMETRY_OPTOUT=false\
DOTNET_USE_POLLING_FILE_WATCHER=true


# [Optional] Uncomment this section to install additional OS packages.
# RUN apt-get update && export DEBIAN_FRONTEND=noninteractive \
# && apt-get -y install --no-install-recommends <your-package-list-here>
67 changes: 67 additions & 0 deletions .devcontainer/devcontainer.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,67 @@
{
"name": "dotnet",
// Set the build context one level higher so we can grab metadata like global.json
"context": "..",
"dockerFile": "Dockerfile",
"forwardPorts": [
0
],
"features": {
// https://github.com/devcontainers/features/blob/main/src/common-utils/README.md
"ghcr.io/devcontainers/features/common-utils:2": {
"installZsh": true,
"installOhMyZshConfig": true,
"configureZshAsDefaultShell": true,
"username": "vscode",
"userUid": "1000",
"userGid": "1000",
"upgradePackages": true
},
// https://github.com/devcontainers/features/blob/main/src/github-cli/README.md
"ghcr.io/devcontainers/features/github-cli:1": {},
// https://github.com/devcontainers/features/blob/main/src/dotnet/README.md
"ghcr.io/devcontainers/features/dotnet:2": {
"version": "9.0",
"additionalVersions": "8.0"
}
},
"overrideFeatureInstallOrder": [
"ghcr.io/devcontainers/features/common-utils",
"ghcr.io/devcontainers/features/github-cli",
"ghcr.io/devcontainers/features/dotnet"
],
"customizations": {
"vscode": {
// Add the IDs of extensions you want installed when the container is created.
"extensions": [
"ms-dotnettools.csharp",
"Ionide.Ionide-fsharp",
"tintoy.msbuild-project-tools",
"ionide.ionide-paket",
"usernamehw.errorlens",
"alefragnani.Bookmarks",
"oderwat.indent-rainbow",
"vscode-icons-team.vscode-icons",
"EditorConfig.EditorConfig",
"ms-azuretools.vscode-docker",
"GitHub.vscode-pull-request-github",
"github.vscode-github-actions"
],
"settings": {
"terminal.integrated.defaultProfile.linux": "zsh",
"csharp.suppressDotnetInstallWarning": true
}
}
},
"remoteUser": "vscode",
"containerUser": "vscode",
"containerEnv": {
// Expose the local environment variable to the container
// They are used for releasing and publishing from the container
"GITHUB_TOKEN": "${localEnv:GITHUB_TOKEN}"
},
"postAttachCommand": {
"restore": "dotnet tool restore && dotnet restore"
},
"waitFor": "updateContentCommand"
}
Loading
Loading