Install mono in dev container (#1133)

This commit is contained in:
Mike Kistler 2026-01-08 19:40:06 -06:00 • committed by GitHub
commit f3fb617ffb
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -19,5 +19,9 @@
}
}
},
"postCreateCommand": "dotnet dev-certs https --trust && dotnet --list-sdks && echo 'Available .NET SDKs installed successfully!'"
"postCreateCommand": {
"dev certs": "dotnet dev-certs https --trust",
"mono": "sudo apt-get update && sudo apt-get install -y mono-devel",
"list sdks": "dotnet --list-sdks && echo 'Available .NET SDKs installed successfully!'"
}
}