From f3fb617ffbe8cc03212711d12d69c8e1359f39c4 Mon Sep 17 00:00:00 2001
From: Mike Kistler <mikekistler@microsoft.com>
Date: Thu, 8 Jan 2026 19:40:06 -0600
Subject: [PATCH] Install mono in dev container (#1133)

---
 .devcontainer/devcontainer.json | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
index fcd0327..ad7bc0d 100644
--- a/.devcontainer/devcontainer.json
+++ b/.devcontainer/devcontainer.json
@@ -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!'"
+	}
 }
\ No newline at end of file