update to 23.05.3

2024-05-09 13:26:18 +00:00
parent 1d5687bbae
commit 08c00ac2a7
5 changed files with 14 additions and 7 deletions
--- a/.devcontainer/devcontainer.json
+++ b/.devcontainer/devcontainer.json
@@ -17,6 +17,13 @@
 	// Configure tool-specific properties.
 	"runArgs": ["--userns=keep-id"],
 	"containerUser": "vscode",
+	"customizations": {
+		"vscode": {
+			"extensions": [
+				"bbenoist.Nix"
+			]
+		}
+	},

 	// Features to add to the dev container. More info: https://containers.dev/features.
 	// "features": {},