Git_Mirror/Terminal.Gui
1
0
Fork 0
mirror of https://github.com/gui-cs/Terminal.Gui.git synced 2025-12-26 07:47:54 +01:00
Code Issues Packages Projects Releases Wiki Activity

Fixes #2323. The devcontainer.json settings isn't work with the current develop branch.

Browse Source
This commit is contained in:
BDisp
2023-02-06 18:24:48 +00:00
parent 39dcae2758
commit 651ee21ba5
1 changed files with 24 additions and 20 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
.devcontainer/devcontainer.json
View File

@@ -1,6 +1,8 @@
{ {
"name": "Terminal.Gui Codespace", "name": "Terminal.Gui Codespace",
"image": "mcr.microsoft.com/vscode/devcontainers/dotnet:6.0", "image": "mcr.microsoft.com/vscode/devcontainers/dotnet:7.0",
"customizations": {
"vscode": {
"settings": { "settings": {
"terminal.integrated.defaultProfile.linux": "pwsh" "terminal.integrated.defaultProfile.linux": "pwsh"
}, },
@@ -21,5 +23,7 @@
], ],
"postCreateCommand": "dotnet restore && dotnet clean && dotnet build --configuration Release --no-restore && dotnet test --configuration Debug --no-restore --verbosity normal --collect:'XPlat Code Coverage' --settings UnitTests/coverlet.runsettings" "postCreateCommand": "dotnet restore && dotnet clean && 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) // Built with ❤ by [Pipeline Foundation](https://pipeline.foundation)