vim update

nvim/lua/lsp.lua

@@ -71,14 +71,7 @@ local lsp_confs = {
             },
         },
     },
-    solidity_ls = {
-
-        filetpes = { "solidity" },
-
-        root_dir = find_repo_root({
-            configfiles = { "hardhat.config.js", "hardhat.config.ts", "foundry.toml", "remappings.txt", "truffle.js", "truffle-config.js", "ape-config.yaml", ".git", "package.json" }
-        })
-    },
+    solidity_ls = {},
     coq_lsp = {},
     racket_langserver = {},
     ocamllsp = {},
@@ -171,7 +164,8 @@ for server, conf in pairs(lsp_confs) do
         lspstatus.capabilities
     )
 
-    local final_config = coq.lsp_ensure_capabilities(conf)
+    -- local final_config = coq.lsp_ensure_capabilities(conf)
+    local final_config = conf
 
     local special_setup = lsp_special_setup[server]
     if special_setup then
@@ -263,7 +257,11 @@ vim.api.nvim_create_autocmd(
             if vim.bo.filetype ~= "plaintex" and vim.bo.filetype ~= "tex" and vim.bo.filetype ~= "latex" and
                 vim.bo.filetype ~= "qf" and vim.bo.filetype ~= "bib" and vim.bo.filetype ~= "" and vim.bo.filetype ~= "pdf"
                 and vim.bo.filetype ~= "conf" and vim.bo.filetype ~= "TelescopePrompt" then
-                vim.cmd [[ :COQnow -s ]]
+	    vim.defer_fn(function()
+                if vim.fn.exists(":COQnow") > 0 then
+                    vim.cmd([[ :COQnow -s ]])
+                end
+            end, 10)
             end
         end
     })

nvim/lua/plugins.lua

@@ -6,23 +6,27 @@ end
 
 return require('packer').startup({
     function(use)
-        use 'wbthomason/packer.nvim'
+        use { 
+		'wbthomason/packer.nvim'
+	}
 
-        use 'RRethy/base16-nvim'
+        use {
+		'RRethy/base16-nvim',
+	}
 
         use {
             'vim-airline/vim-airline',
             requires = {
                 'ryanoasis/vim-devicons',
-            }
+            },
         }
 
         use {
-            'mustache/vim-mustache-handlebars'
+            'mustache/vim-mustache-handlebars',
         }
 
         use {
-            'whonore/Coqtail'
+            'whonore/Coqtail',
         }
 
         use {
@@ -38,7 +42,7 @@ return require('packer').startup({
         }
 
         use {
-            'noir-lang/noir-nvim'
+            'noir-lang/noir-nvim',
         }
 
         use {
@@ -56,15 +60,15 @@ return require('packer').startup({
         }
 
         use {
-            'petRUShka/vim-sage'
+            'petRUShka/vim-sage',
         }
 
         use {
-            'evanleck/vim-svelte'
+            'evanleck/vim-svelte',
         }
 
         use {
-            'wuelnerdotexe/vim-astro'
+            'wuelnerdotexe/vim-astro',
         }
 
         use {
@@ -83,6 +87,10 @@ return require('packer').startup({
             'tpope/vim-repeat',
         }
 
+	use {
+	    'nvim-lua/plenary.nvim',
+	}
+
         use {
             'lewis6991/gitsigns.nvim',
             requires = {
@@ -118,11 +126,11 @@ return require('packer').startup({
             },
             config = function()
                 require('flutter-tools').setup {
-                    lsp = {
-                        color = {
-                            enabled = false
-                        }
-                    }
+                    -- lsp = {
+                    --     color = {
+                    --         enabled = false
+                    --     }
+                    -- }
                 }
             end
         }
@@ -186,6 +194,7 @@ return require('packer').startup({
 
         use {
             'neovim/nvim-lspconfig',
+	    disable = true,
             -- commit = "607ff48b970b89c3e4e3825b88d9cfd05b7aaea5",
             requires = {
                 'nvim-lua/lsp-status.nvim',