time reset

nvim/lua/lsp.lua

@@ -226,15 +226,28 @@ vim.cmd [[
 	augroup END
 ]]
 
-vim.api.nvim_create_autocmd('FileType', {
+vim.api.nvim_create_autocmd({ 'FileType',
+}, {
     pattern = "*",
     callback = function()
-        if vim.bo.filetype ~= "plaintex" and vim.bo.filetype ~= "tex" and vim.bo.filetype ~= "latex" then
+        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" then
             vim.cmd [[ :COQnow -s ]]
         end
     end
 })
 
+-- vim.api.nvim_create_autocmd({ 'FileType', 'BufRead', 'BufReadPre', 'BufReadPost', 'BufWrite', 'BufWritePre',
+--     'BufWritePost' }, {
+--     pattern = "*",
+--     callback = function()
+--         if vim.bo.filetype ~= "plaintex" and vim.bo.filetype ~= "tex" and vim.bo.filetype ~= "latex" then
+--             vim.cmd [[ :COQnow -s ]]
+--         end
+--     end
+-- })
+
 -- vim.cmd [[
 --     augroup disabletexlsp
 --         autocmd!