WiP VSCode: Add workspace file

- Exclude from watch folders compilation directories TODO: still not good enough. Need to exclude more, not enoug handles on system.
tlaurion · Jul 24, 2023 · 4fdce5a · 4fdce5a
1 parent cbf37c8
commit 4fdce5a
Showing 1 changed file with 18 additions and 0 deletions.
diff --git a/heads.code-workspace b/heads.code-workspace
@@ -0,0 +1,18 @@
+{
+	"folders": [
+		{
+			"path": "."
+		}
+	],
+	"settings": {
+		"explorer.excludeGitIgnore": false,
+		"files.exclude": {
+		},
+		"files.watcherExclude": {
+			"build/**": true,
+			"crossgcc/**": true,
+			"install/**": true,
+			"packages/**": true
+		}
+	}
+}