fully fleshed out nixd settings and switch to nvim-cmp from COQ. Also updated rebuild to work for both home and system configs

2024-11-07 00:30:18 -05:00
parent fc99570fdc
commit f9fe7155de
4 changed files with 83 additions and 36 deletions
--- a/modules/sys/software/nixvim/plugins/coq.nix
+++ b/modules/sys/software/nixvim/plugins/coq.nix
@@ -3,7 +3,7 @@
    plugins.coq-nvim = {
      enable = true;
      settings = {
-        auto_start = true;
+        auto_start = false;
      };
    };
  };