Neovim: switch completion plugin to coq.nvim

home/.config/nvim/init.lua

@@ -6,7 +6,6 @@ require 'settings'
 -- Plugin configurations
 require 'pluginconf.lualine'
 require 'pluginconf.bufferline'
-require 'pluginconf.completion'
 require 'pluginconf.lsp'
 require 'pluginconf.treesitter'
 require 'pluginconf.telescope'

home/.config/nvim/lua/autocmd.lua

@@ -5,3 +5,6 @@ cmd('au TermOpen * tnoremap <buffer> <Esc> <c-\\><c-n>')
 
 -- Fix YAML indentation
 cmd('au FileType yaml setlocal ts=2 sts=2 sw=2 expandtab')
+
+-- Run coq.nvim on startup
+cmd('au VimEnter * COQnow --shut-up')

home/.config/nvim/lua/pluginconf/completion.lua

@@ -1,4 +0,0 @@
-vim.o.completeopt = 'menuone,noinsert,noselect'
-
--- Enable for all buffers (for now)
-vim.api.nvim_command('autocmd BufEnter * lua require\'completion\'.on_attach()')

home/.config/nvim/lua/pluginmanager.lua

@@ -64,28 +64,27 @@ require('packer').startup(function()
     -- Install LSP executables
     use 'kabouzeid/nvim-lspinstall'
 
-    -- Completion framework
-    use 'nvim-lua/completion-nvim'
+    -- Completion
+    use {'ms-jpq/coq_nvim', branch = 'coq'}
+
+    -- Snippets for coq_nvim
+    use {'ms-jpq/coq.artifacts', branch = 'artifacts'}
 
     -- treesitter syntax highlight
-    use {
-        'nvim-treesitter/nvim-treesitter',
-        branch = '0.5-compat',
-        run = ':TSUpdate'
-    }
+    use {'nvim-treesitter/nvim-treesitter', run = ':TSUpdate'}
 
     -- treesitter plugin for commentstring
     use 'JoosepAlviste/nvim-ts-context-commentstring'
 
-	-- Additional plugins for formats not supported
-	-- by treesitter
-	use 'jamespeapen/swayconfig.vim'
+    -- Additional plugins for formats not supported
+    -- by treesitter
+    use 'jamespeapen/swayconfig.vim'
 
     -- mappings for commenting in code
     use 'tpope/vim-commentary'
 
-	-- we all know this one
-	use 'tpope/vim-surround'
+    -- we all know this one
+    use 'tpope/vim-surround'
 
     -- Formatter plugin
     use 'sbdchd/neoformat'