Added settings for anyone who uses VS Code

dwickern · Apr 1, 2021 · 6c54816 · 6c54816
1 parent 8932f4c
commit 6c54816
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -10,3 +10,6 @@ project/target
 .settings
 bin
 .bsp
+.metals
+**/.bloop
+**/metals.sbt
diff --git a/.vscode/settings.json b/.vscode/settings.json
@@ -0,0 +1,12 @@
+{
+    "files.exclude": {
+        ".metals": true,
+        "project/project": true,
+        "**/.bloop": true,
+        "**/target": true,
+        "**/metals.sbt": true
+    },
+    "files.watcherExclude": {
+        "**/target": true
+    }
+}