From 5d8ca2fd2e33951fb860004dae2e1c5b274d4f4c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=B6rn-Michael=20Miehe?= <jmm@yavook.de>
Date: Sun, 3 Sep 2023 19:31:32 +0000
Subject: [PATCH] devcontainer settings

---
 ui/.devcontainer/devcontainer.json | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/ui/.devcontainer/devcontainer.json b/ui/.devcontainer/devcontainer.json
index 5054c26..2b386b8 100644
--- a/ui/.devcontainer/devcontainer.json
+++ b/ui/.devcontainer/devcontainer.json
@@ -11,17 +11,18 @@
 			"VARIANT": "18-bullseye"
 		}
 	},
-	// Set *default* container specific settings.json values on container create.
-	"settings": {
-		"terminal.integrated.defaultProfile.linux": "zsh"
-	},
 	// Configure tool-specific properties.
 	"customizations": {
 		// Configure properties specific to VS Code.
 		"vscode": {
+			// Set *default* container specific settings.json values on container create.
+			"settings": {
+				"terminal.integrated.defaultProfile.linux": "zsh"
+			},
 			// Add the IDs of extensions you want installed when the container is created.
 			"extensions": [
 				"dbaeumer.vscode-eslint",
+				"mhutchie.git-graph",
 				"octref.vetur",
 				"Syler.sass-indented"
 			]