diff options
| -rw-r--r-- | users/sils/nixvim/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/users/sils/nixvim/default.nix b/users/sils/nixvim/default.nix index 89a6beb..3fa9b22 100644 --- a/users/sils/nixvim/default.nix +++ b/users/sils/nixvim/default.nix @@ -22,7 +22,7 @@ in { theme = "minimalist"; }; coq-nvim = { - enable = false; + enable = true; autoStart = "shut-up"; installArtifacts = true; }; @@ -73,7 +73,7 @@ in { enable = true; }; nvim-cmp = { - enable = true; + enable = false; mappingPresets = ["insert" "cmdline"]; preselect = "None"; sources = [ |