moved nixvim to home-manager config, re-added firefox plugins

2024-11-07 00:48:51 -05:00
parent f9fe7155de
commit 0bb0b6ce81
21 changed files with 18 additions and 17 deletions
--- a/modules/home/programs/nixvim/plugins/coq.nix
+++ b/modules/home/programs/nixvim/plugins/coq.nix
@@ -0,0 +1,10 @@
+{
+  programs.nixvim = {
+    plugins.coq-nvim = {
+      enable = true;
+      settings = {
+        auto_start = false;
+      };
+    };
+  };
+}