codespaces: install && configure coverage gutters

JKatzwinkel · Aug 14, 2023 · 61fd911 · 61fd911
1 parent 19cc2d9
commit 61fd911
Showing 1 changed file with 15 additions and 1 deletion.
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -11,5 +11,19 @@
 	},
 	"postCreateCommand": [
 		"apt-get update && apt-get install -y fontconfig"
-	]
+	],
+	"customizations": {
+		"vscode": {
+			"extensions": [
+				"ryanluker.vscode-coverage-gutters"
+			],
+			"settings": {
+				"editor.renderWhitespace": "all",
+				"coverage-gutters.coverageFileNames": [
+					"jacocoTestReport.xml"
+				],
+				"coverage-gutters.showLineCoverage": true
+			}
+		}
+	}
 }