darkwiiplayer/darkrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Add nvim COQ package

Browse source
This commit is contained in:
Talia 2024-04-29 14:18:56 +02:00
parent 1d2a775658
commit 75f62a7ffb
3 changed files with 19 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
vim/plugin/coq.lua Normal file
View file

@ -0,0 +1,6 @@
xpcall(function()
require("coq")
vim.api.nvim_command("command COQ COQnow --shut-up")
end, function()
vim.api.nvim_command("command COQ echoerr 'COQ not loaded.'")
end)

11
vim/plugin/lsp.lua
View file

@ -1,5 +1,14 @@
local config = require 'lspconfig'
local ensure_capabilities
xpcall(function()
ensure_capabilities = require("coq").lsp_ensure_capabilities
end, function()
function ensure_capabilities(...)
return ...
end
end)
local default = { on_attach = require 'lsp.attach' }
for _, language in ipairs {
"html",
@ -11,5 +20,5 @@ for _, language in ipairs {
"standardrb",
"zls",
} do
config[language].setup(default)
config[language].setup(ensure_capabilities(default))
end

3
vim/plugin/packer.lua
View file

@ -32,6 +32,9 @@ use {
};
'folke/twilight.nvim';
'leafo/moonscript-vim';
'ms-jpq/coq_nvim';
'ms-jpq/coq.artifacts';
'ms-jpq/coq.thirdparty';
'neovim/nvim-lspconfig';
'pigpigyyy/Yuescript-vim';
'vim-scripts/openscad.vim';