diff options
| author | sils <sils@sils.li> | 2023-07-29 10:36:52 +0200 |
|---|---|---|
| committer | sils <sils@sils.li> | 2023-07-29 10:36:52 +0200 |
| commit | 4e9e2d5954a760b11ca8a4bc59373cc5c69c13ae (patch) | |
| tree | 1ea28ec3369e0355a9aa9dba0856ffe5fb725e99 /users | |
| parent | Fix(u/sils/nixneovim): Add nvim-tree (diff) | |
| download | nix-config-4e9e2d5954a760b11ca8a4bc59373cc5c69c13ae.zip | |
Fix(u/sils/nixneovim): Add coq-nvim
Diffstat (limited to 'users')
| -rw-r--r-- | users/sils/nixneovim/default.nix | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/users/sils/nixneovim/default.nix b/users/sils/nixneovim/default.nix index 7477ba0..f68c7ce 100644 --- a/users/sils/nixneovim/default.nix +++ b/users/sils/nixneovim/default.nix @@ -19,6 +19,12 @@ enable = true; autoHide = true; }; + coq-nvim = { + enable = true; + autoStart = true; + installArtifacts = true; + recommendedKeymaps = true; + }; lsp = { enable = true; servers = { @@ -34,10 +40,10 @@ mini = { enable = true; }; - nvim-tree = { - enable = true; - git.enable = true; - }; + nvim-tree = { + enable = true; + git.enable = true; + }; }; }; } |