From 6af59d879933bee3a859f8526026e04683a1bc9e Mon Sep 17 00:00:00 2001
From: DarkWiiPlayer <darkwiiplayer@hotmail.com>
Date: Tue, 17 Dec 2024 18:28:45 +0100
Subject: [PATCH] Extract coq configs into proper packer config module

---
 vim/lua/config/coq.lua | 2 ++
 vim/plugin/coq.lua     | 6 ------
 vim/plugin/packer.lua  | 2 +-
 3 files changed, 3 insertions(+), 7 deletions(-)
 create mode 100644 vim/lua/config/coq.lua
 delete mode 100644 vim/plugin/coq.lua

diff --git a/vim/lua/config/coq.lua b/vim/lua/config/coq.lua
new file mode 100644
index 0000000..00292b6
--- /dev/null
+++ b/vim/lua/config/coq.lua
@@ -0,0 +1,2 @@
+require("coq")
+vim.api.nvim_command("command COQ COQnow --shut-up")
diff --git a/vim/plugin/coq.lua b/vim/plugin/coq.lua
deleted file mode 100644
index 7c77bcc..0000000
--- a/vim/plugin/coq.lua
+++ /dev/null
@@ -1,6 +0,0 @@
-xpcall(function()
-	require("coq")
-	vim.api.nvim_command("command COQ COQnow --shut-up")
-end, function()
-	vim.api.nvim_command("command COQ echoerr 'COQ not loaded.'")
-end)
diff --git a/vim/plugin/packer.lua b/vim/plugin/packer.lua
index 25c9329..d0cf9e1 100644
--- a/vim/plugin/packer.lua
+++ b/vim/plugin/packer.lua
@@ -41,7 +41,7 @@ use {
 	};
 	'folke/twilight.nvim';
 	'leafo/moonscript-vim';
-	'ms-jpq/coq_nvim';
+	{'ms-jpq/coq_nvim', config = require 'config.coq'};
 	'ms-jpq/coq.artifacts';
 	'ms-jpq/coq.thirdparty';
 	'neovim/nvim-lspconfig';