Move VSCode settings from devcontainer customization section to setti…

…ngs.json
KIT-MRT · Nov 26, 2024 · 2235515 · 2235515
1 parent 6e1a942
commit 2235515
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 14 deletions.
diff --git a/demo/.devcontainer/devcontainer.json b/demo/.devcontainer/devcontainer.json
@@ -25,20 +25,7 @@
 				"vadimcn.vscode-lldb",
 				"matepek.vscode-catch2-test-adapter",
 				"twxs.cmake"
-			],
-			"settings": {
-				// Use zsh as default terminal
-				"terminal.integrated.profiles.linux": {
-					"zsh": {
-						"path": "/bin/zsh",
-						"args": ["-l", "-i"]
-					}
-				},
-				"terminal.integrated.defaultProfile.linux": "zsh",
-
-				// Use system installation of clangd
-			  "clangd.path": "clangd"
-			}
+			]
 		}
 	}
 }
diff --git a/demo/.vscode/settings.json b/demo/.vscode/settings.json
@@ -0,0 +1,13 @@
+{
+  // Use zsh as default terminal
+  "terminal.integrated.profiles.linux": {
+    "zsh": {
+      "path": "/bin/zsh",
+      "args": ["-l", "-i"]
+    }
+  },
+  "terminal.integrated.defaultProfile.linux": "zsh",
+
+  // Use system installation of clangd
+  "clangd.path": "clangd",
+}