From b7d906d1bfdea9ebbeee15f2296edfdd4c7d1adc Mon Sep 17 00:00:00 2001 From: EvilMuffinHa Date: Tue, 27 Sep 2022 23:46:19 -0400 Subject: [PATCH] better lsp --- nvim/lua/lsp.lua | 28 ++++++++++++++++++++++++++++ nvim/lua/plugins.lua | 1 + zshenv | 3 ++- 3 files changed, 31 insertions(+), 1 deletion(-) diff --git a/nvim/lua/lsp.lua b/nvim/lua/lsp.lua index 892f70d..100b9ca 100644 --- a/nvim/lua/lsp.lua +++ b/nvim/lua/lsp.lua @@ -1,9 +1,37 @@ vim.g.coq_settings = { auto_start = 'shut-up', + keymap = { + eval_snips = "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() diff --git a/nvim/lua/plugins.lua b/nvim/lua/plugins.lua index 81e5201..815a628 100644 --- a/nvim/lua/plugins.lua +++ b/nvim/lua/plugins.lua @@ -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', diff --git a/zshenv b/zshenv index e4842b9..5579080 100644 --- a/zshenv +++ b/zshenv @@ -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