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

Revert "feat(nvim): add coq-nvim"

Browse source 
This reverts commit e2aff57d72.
This commit is contained in:
Moritz Böhme 2023-09-06 09:19:32 +02:00
parent c0112661ad
commit dfa93f98df
No known key found for this signature in database
GPG key ID: 970C6E89EB0547A9
6 changed files with 93 additions and 37 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -74,6 +74,28 @@ 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" ];
@ -241,26 +263,6 @@ with builtins;
plugin = markdown-preview-nvim;
ft = [ "md" ];
}
{
plugin = coq_nvim;
event = [ "BufReadPost" "BufNewFile" ];
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;
}
];
}
{
plugin = nvim-surround;
event = [ "BufReadPost" "BufNewFile" ];