customize codespaces (#196)

* install fontconfig in new codespaces * codespaces: install && configure coverage gutters
JKatzwinkel · Aug 17, 2023 · 8e94e6b · 8e94e6b
1 parent 3f51fe5
commit 8e94e6b
Showing 1 changed file with 17 additions and 5 deletions.
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -2,16 +2,28 @@
 	"name": "Java",
 	"image": "mcr.microsoft.com/devcontainers/java:0-17",
 	"features": {
-		"ghcr.io/devcontainers/features/java:1": {
-			"version": "17",
-			"installMaven": "false",
-			"installGradle": "false"
-		},
 		"ghcr.io/devcontainers/features/github-cli:1": {},
 		"ghcr.io/devcontainers/features/common-utils:2": {
 			"configureZshAsDefaultShell": "true"
 		},
 		"ghcr.io/devcontainers-contrib/features/curl-apt-get:1": {},
 		"ghcr.io/devcontainers/features/docker-in-docker:2": {}
+	},
+	"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
+			}
+		}
 	}
 }