mirror of
https://github.com/gui-cs/Terminal.Gui.git
synced 2025-12-27 00:07:58 +01:00
25 lines
900 B
JSON
25 lines
900 B
JSON
{
|
|
"name": "Terminal.Gui Codespace",
|
|
"image": "mcr.microsoft.com/vscode/devcontainers/dotnet:0.201.7-5.0",
|
|
"settings": {
|
|
"terminal.integrated.defaultProfile.linux": "pwsh"
|
|
},
|
|
"extensions": [
|
|
"eamodio.gitlens",
|
|
"ms-dotnettools.csharp",
|
|
"VisualStudioExptTeam.vscodeintellicode",
|
|
"ms-vscode.powershell",
|
|
"cschleiden.vscode-github-actions",
|
|
"redhat.vscode-yaml",
|
|
"bierner.markdown-preview-github-styles",
|
|
"ban.spellright",
|
|
"jmrog.vscode-nuget-package-manager",
|
|
"coenraads.bracket-pair-colorizer",
|
|
"vscode-icons-team.vscode-icons",
|
|
"editorconfig.editorconfig"
|
|
],
|
|
"postCreateCommand": "dotnet restore && dotnet build --configuration Release --no-restore && dotnet test --configuration Debug --no-restore --verbosity normal --collect:'XPlat Code Coverage' --settings UnitTests/coverlet.runsettings",
|
|
}
|
|
|
|
// Built with ❤ by [Pipeline Foundation](https://pipeline.foundation)
|