Feature Request: Make use of a 'require("coq_nvim").setup()' style lua function. about coq_nvim

[TheLeoP]

Have you tried using the build (or equivalent) field provided by some plugin managers? It runs some command (on a terminal or an intermal vim command) after a plugin is installed/downloaded. You could use :COQdeps as a build command.

[Watynecc]

I think my code config could help u
U just have to install a lsp and you're done it work for me soo why not you try it out

https://gitlab.com/Watynecc/config-files

-- lsp
vim.g.coq_settings = {
    auto_start = 'shut-up',
    clients = {
        tmux = { enabled = false },
        buffers = {
            enabled = false,
        }
    },
}
require("mason").setup()
require("mason-lspconfig").setup_handlers({
     function (server_name) -- default handler (optional)
        require("lspconfig")[server_name].setup(require('coq').lsp_ensure_capabilities({}))
     end
})