Minor changes to nvim cfg, fish key binds, and provision_linux

.config/nvim/init.lua

@@ -2,6 +2,8 @@ vim.cmd("set runtimepath^=~/.vim runtimepath+=~/.vim/after")
 vim.cmd("let &packpath = &runtimepath")
 vim.cmd("source ~/.vimrc")
 
+vim.g.coq_settings = { auto_start = true }
+
 vim.g.neovide_scale_factor = 0.7
 vim.opt.guifont = { "JetBrainsMono Nerd Font", "h13" }
 
@@ -31,6 +33,9 @@ require('noice').setup({
       ["cmp.entry.get_documentation"] = true,
     },
   },
+  popupmenu = {
+    enabled = false,
+  },
   presets = {
     long_message_to_split = true, -- long messages will be sent to a split
   },