|
|
|
@ -1,5 +1,5 @@
|
|
|
|
|
local get_hex = require('cokeline/utils').get_hex
|
|
|
|
|
local coq = require "coq"
|
|
|
|
|
--local coq = require "coq"
|
|
|
|
|
-- local highlight = require "todo-comments.highlight"
|
|
|
|
|
|
|
|
|
|
require("filetype").setup {
|
|
|
|
@ -8,25 +8,25 @@ require("filetype").setup {
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
require("indent_blankline").setup {
|
|
|
|
|
char = "|",
|
|
|
|
|
buftype_exclude = {"terminal", "help"}
|
|
|
|
|
}
|
|
|
|
|
--require("indent_blankline").setup {
|
|
|
|
|
-- char = "|",
|
|
|
|
|
-- buftype_exclude = {"terminal", "help"}
|
|
|
|
|
--}
|
|
|
|
|
|
|
|
|
|
require("coq_3p") {
|
|
|
|
|
{src = "nvimlua", short_name = "nLUA"}
|
|
|
|
|
}
|
|
|
|
|
--require("coq_3p") {
|
|
|
|
|
-- {src = "nvimlua", short_name = "nLUA"}
|
|
|
|
|
--}
|
|
|
|
|
|
|
|
|
|
require'lspconfig'.clangd.setup{
|
|
|
|
|
coq.lsp_ensure_capabilities()
|
|
|
|
|
--coq.lsp_ensure_capabilities()
|
|
|
|
|
}
|
|
|
|
|
require'lspconfig'.denols.setup{
|
|
|
|
|
cmd = {'deno', 'lsp'},
|
|
|
|
|
coq.lsp_ensure_capabilities()
|
|
|
|
|
--coq.lsp_ensure_capabilities()
|
|
|
|
|
}
|
|
|
|
|
require'lspconfig'.vls.setup{
|
|
|
|
|
cmd = {'/usr/local/bin/vls'},
|
|
|
|
|
coq.lsp_ensure_capabilities()
|
|
|
|
|
--coq.lsp_ensure_capabilities()
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
local runtime_path = vim.split(package.path, ';')
|
|
|
|
@ -52,7 +52,7 @@ require'lspconfig'.sumneko_lua.setup {
|
|
|
|
|
},
|
|
|
|
|
},
|
|
|
|
|
},
|
|
|
|
|
coq.lsp_ensure_capabilities(),
|
|
|
|
|
--coq.lsp_ensure_capabilities(),
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
require('nvim-treesitter.configs').setup {
|
|
|
|
@ -62,7 +62,7 @@ require('nvim-treesitter.configs').setup {
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
vim.cmd('COQnow -s')
|
|
|
|
|
--vim.cmd('COQnow -s')
|
|
|
|
|
|
|
|
|
|
local function filenameIfFileOpened()
|
|
|
|
|
local filename = vim.fn.expand('%:t')
|
|
|
|
@ -151,3 +151,7 @@ require('cokeline').setup({
|
|
|
|
|
})
|
|
|
|
|
|
|
|
|
|
require('telescope').load_extension('fzf')
|
|
|
|
|
|
|
|
|
|
require('mini.completion').setup()
|
|
|
|
|
require('mini.cursorword').setup()
|
|
|
|
|
require('mini.pairs').setup()
|
|
|
|
|