diff options
| author | sils <sils@sils.li> | 2023-11-23 18:32:09 +0100 |
|---|---|---|
| committer | sils <sils@sils.li> | 2023-11-23 18:32:09 +0100 |
| commit | 7a27ac4d3800b89766db50e2de2f2f72b46a7f3d (patch) | |
| tree | 83125038fbf8f15a362482dfd24c43298c8d9546 /users | |
| parent | feat(u/sils/nixvim): install Cargo and Rustc (diff) | |
| download | nix-config-7a27ac4d3800b89766db50e2de2f2f72b46a7f3d.zip | |
feat(u/sils/nixvim): switch back to coq-nvim
Diffstat (limited to 'users')
| -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 = [ |