From 436de412e740056ba33fb540f78dd43d29d0ec6b Mon Sep 17 00:00:00 2001
From: Santo Cariotti <santo@dcariotti.me>
Date: Wed, 3 Nov 2021 18:01:27 +0100
Subject: use coq instead of cmp

---
 nvim/init.vim | 27 ++++-----------------------
 1 file changed, 4 insertions(+), 23 deletions(-)

(limited to 'nvim/init.vim')

diff --git a/nvim/init.vim b/nvim/init.vim
index a0d4d6f..2e42f7e 100644
--- a/nvim/init.vim
+++ b/nvim/init.vim
@@ -25,16 +25,10 @@ Plug 'google/vim-searchindex'
 Plug 'rktjmp/lush.nvim'
 Plug 'ellisonleao/gruvbox.nvim'
 
-" LSP
 if has('nvim')
     Plug 'neovim/nvim-lspconfig'
-    Plug 'hrsh7th/cmp-nvim-lsp'
-    Plug 'hrsh7th/cmp-buffer'
-    Plug 'hrsh7th/nvim-cmp'
-
-    " For vsnip users.
-    Plug 'hrsh7th/cmp-vsnip'
-    Plug 'hrsh7th/vim-vsnip'
+    Plug 'ms-jpq/coq_nvim', {'branch': 'coq'}
+    Plug 'ms-jpq/coq.artifacts', {'branch': 'artifacts'}
 endif
 
 
@@ -127,6 +121,8 @@ let b:ale_fixers = {
 if has('nvim')
     lua require('evil_lualine')
     lua require('git')
+
+    let g:coq_settings = { 'auto_start': v:true }
     lua require('lsp')
 
     colorscheme gruvbox
@@ -184,9 +180,6 @@ nnoremap ,o :only<CR>
 " gs = open git status
 nnoremap <leader>ff :Files .<CR>
 nnoremap <leader>co :Commits<CR>
-nnoremap :gf :GFiles<CR>
-nnoremap :gs :GFiles?<CR>
-nnoremap :gd :Git diff<CR>
 
 nnoremap <leader>pa :set paste<CR>
 nnoremap <leader>npa :set nopaste<CR>
@@ -195,18 +188,6 @@ nnoremap <leader>npa :set nopaste<CR>
 nmap <leader>cr :!command cargo r<CR>
 nmap <F6> :EditorConfigReload<CR>
 
-
-" Use `[g` and `]g` to navigate diagnostics
-nmap <silent> [g <Plug>(coc-diagnostic-prev)
-nmap <silent> ]g <Plug>(coc-diagnostic-next)
-
-" GoTo code navigation.
-nmap <silent> gd <Plug>(coc-definition)
-nmap <silent> gy <Plug>(coc-type-definition)
-nmap <silent> gi <Plug>(coc-implementation)
-nmap <silent> gr <Plug>(coc-references)
-
-
 if &diff
   "Get from remote
   nnoremap dr :diffget<Space>RE<CR>
-- 
cgit v1.2.3-71-g8e6c