better lsp

This commit is contained in:
EvilMuffinHa 2022-09-27 23:46:19 -04:00
parent 94a56a8f34
commit b7d906d1bf
3 changed files with 31 additions and 1 deletions

View File

@ -1,9 +1,37 @@
vim.g.coq_settings = {
auto_start = 'shut-up',
keymap = {
eval_snips = "<Leader>se",
},
clients = {
buffers = {
enabled = true,
weight_adjust = -2.0,
},
tree_sitter = {
enabled = true,
weight_adjust = -1.5,
},
lsp = {
enabled = true,
weight_adjust = 1.5,
},
snippets = {
enabled = true,
weight_adjust = 2.0,
}
}
}
local coq = require('coq')
require('coq_3p') {
{ src = 'vimtex', short_name = 'TEX'},
{ src = 'nvimlua', short_name = 'NLUA', conf_only = true},
{ src = 'bc', short_name = 'CALC', precision = 8},
}
local lspstatus = require('lsp-status')
lspstatus.register_progress()

View File

@ -126,6 +126,7 @@ return require('packer').startup({function(use)
commit = "607ff48b970b89c3e4e3825b88d9cfd05b7aaea5",
requires = {
'nvim-lua/lsp-status.nvim',
'ms-jpq/coq.thirdparty',
{
'ms-jpq/coq_nvim',
run = ':COQdeps',

3
zshenv
View File

@ -18,7 +18,8 @@ export HISTFILE="$XDG_DATA_HOME"/zsh/history
export GNUPGHOME="$XDG_CONFIG_HOME"/gnupg
export NUGET_PACKAGES="$XDG_CACHE_HOME"/nuget
export GDBHISTFILE="$XDG_DATA_HOME"/gdb/history
export VIMDOTDIR="$XDG_CONFIG_HOME/vim"
export VIMDOTDIR="$XDG_CONFIG_HOME"/vim
export NVIM_HOME="$XDG_CONFIG_HOME"/nvim
export IPYTHONDIR="$XDG_CONFIG_HOME"/ipython
export JUPYTER_CONFIG_DIR="$XDG_CONFIG_HOME"/jupyter
export GOPATH="$XDG_DATA_HOME"/go