moritz/dotfiles
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

feat(nvim): add coq-nvim

Browse source
This commit is contained in:
Moritz Böhme 2023-07-24 18:44:03 +02:00
parent 526783f07a
commit e2aff57d72
No known key found for this signature in database
GPG key ID: 970C6E89EB0547A9
7 changed files with 62 additions and 113 deletions
Download patch file Download diff file Expand all files Collapse all files

42
modules/programs/nvim/plugins/default.nix
View file

@ -82,28 +82,6 @@ with builtins;
{ plugin = nvim-web-devicons; }
];
}
{
plugin = nvim-cmp;
conf = readFile ./nvim-cmp.lua;
event = [ "InsertEnter" ];
dependencies = [
{ plugin = cmp-async-path; }
{ plugin = cmp-nvim-lsp; }
{ plugin = cmp_luasnip; }
{
plugin = copilot-cmp;
dependencies = [
{
plugin = copilot-lua;
conf = readFile ./copilot-lua.lua;
dependencies = [{ plugin = which-key-nvim; }];
}
];
}
{ plugin = friendly-snippets; }
{ plugin = luasnip; }
];
}
{
plugin = todo-comments-nvim;
event = [ "BufReadPost" "BufNewFile" ];
@ -281,5 +259,25 @@ with builtins;
plugin = markdown-preview-nvim;
lazy = false;
}
{
plugin = coq_nvim;
lazy = false;
init = builtins.readFile ./coq-nvim.lua;
dependencies = [
{
plugin = coq-thirdparty;
conf = builtins.readFile ./coq-thirdparty.lua;
dependencies = [
{
plugin = codeium-vim;
init = builtins.readFile ./codeium-vim.lua;
}
];
}
{
plugin = coq-artifacts;
}
];
}
];
}