diff --git a/init.lua b/init.lua index 55b8979..5be4033 100644 --- a/init.lua +++ b/init.lua @@ -1 +1,3 @@ require("config.lazy") + +vim.opt.number = true diff --git a/lua/plugins/coq.lua b/lua/plugins/coq.lua index c804a9e..4edcc32 100644 --- a/lua/plugins/coq.lua +++ b/lua/plugins/coq.lua @@ -19,7 +19,7 @@ return { }, init = function() vim.g.coq_settings = { - auto_start = true, -- if you want to start COQ at startup + auto_start = 'shut-up', -- if you want to start COQ at startup -- Your COQ settings here } end,