From 23d76312778328fd40808ae63ceeddfc022fdd11 Mon Sep 17 00:00:00 2001
From: Jan Szumotalski <jszumotalski@gmail.com>
Date: Sat, 20 Dec 2025 15:09:11 +0100
Subject: [PATCH] config

---
 init.lua            | 2 ++
 lua/plugins/coq.lua | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)

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,