Reworked machines list, and history commands

2023-12-12 18:11:38 +01:00
parent 9d952ba534
commit c90053834a
8 changed files with 77 additions and 40 deletions
--- a/pkgs/clan-vm-manager/clan-vm-manager.code-workspace
+++ b/pkgs/clan-vm-manager/clan-vm-manager.code-workspace
@@ -11,6 +11,22 @@
 		}
 	],
 	"settings": {
-		"python.linting.mypyEnabled": true
+		"python.linting.mypyEnabled": true,
+		"files.exclude": {
+			"**/.direnv": true,
+			"**/.mypy_cache": true,
+			"**/.ruff_cache": true,
+			"**/.hypothesis": true,
+			"**/__pycache__": true,
+			"**/.reports": true
+		},
+		"search.exclude": {
+			"**/.direnv": true,
+			"**/.mypy_cache": true,
+			"**/.ruff_cache": true,
+			"**/.hypothesis": true,
+			"**/__pycache__": true,
+			"**/.reports": true
+		}
 	}
 }