mirror of
https://github.com/gui-cs/Terminal.Gui.git
synced 2025-12-26 07:47:54 +01:00
add pwsh as default terminal
This commit is contained in:
committed by
GitHub
parent
6ee48f51ce
commit
a366e57e08
@@ -1,6 +1,9 @@
|
||||
{
|
||||
"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",
|
||||
@@ -16,4 +19,4 @@
|
||||
"editorconfig.editorconfig"
|
||||
],
|
||||
"postCreateCommand": "dotnet restore && dotnet build --configuration Release --no-restore && dotnet test --no-restore --verbosity normal --collect:'XPlat Code Coverage' --settings UnitTests/coverlet.runsettings",
|
||||
}
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user