From d17d90564581a355a46fc5638f66a3f5bff24d18 Mon Sep 17 00:00:00 2001
From: David JULIEN <swy7ch@protonmail.com>
Date: Tue, 19 Oct 2021 19:02:43 +0200
Subject: [PATCH 1/2] [nvim] feat: add filetype specific config

---
 .config/nvim/after/ftplugin/tex.lua     | 25 +++++++++++++++++++++++++
 .config/nvim/after/ftplugin/verilog.lua | 10 ++++++++++
 2 files changed, 35 insertions(+)
 create mode 100644 .config/nvim/after/ftplugin/tex.lua
 create mode 100644 .config/nvim/after/ftplugin/verilog.lua

diff --git a/.config/nvim/after/ftplugin/tex.lua b/.config/nvim/after/ftplugin/tex.lua
new file mode 100644
index 0000000..03263b5
--- /dev/null
+++ b/.config/nvim/after/ftplugin/tex.lua
@@ -0,0 +1,25 @@
+-- Author       : swytch
+-- Created      : Monday Oct. 04, 2021 16:09:13 CET
+-- License      : GPLv3
+-- Description  : tex fietype config
+
+
+--  Caps
+utils.map("i", "AA", "À")
+utils.map("i", "CC", "Ç")
+utils.map("i", "EE", "É")
+
+-- Unbreakable spaces
+utils.map("i", "<Space>etc", "\\,etc.")
+utils.map("i", "<Space>:", "\\,:")
+
+-- Centered point
+utils.map("i", ";.", "\\textperiodcentered")
+-- Italics
+utils.map("i", "II", "\\textit{}<Esc>i")
+-- Bold
+utils.map("i", "BB", "\\textbf{}<Esc>i")
+-- Bold + Italics
+utils.map("i", "BI", "\\textit{\\textbf{}}<Esc>hi")
+-- Smallcaps
+utils.map("i", "SC", "\\fsc{}<Esc>i")
diff --git a/.config/nvim/after/ftplugin/verilog.lua b/.config/nvim/after/ftplugin/verilog.lua
new file mode 100644
index 0000000..bf75582
--- /dev/null
+++ b/.config/nvim/after/ftplugin/verilog.lua
@@ -0,0 +1,10 @@
+-- Author       : swytch
+-- Created      : Sunday Oct. 03, 2021 18:06:12 CET
+-- License      : GPLv3
+-- Description  : verilog fietype config
+
+utils.map("n", "<leader>j", ":CoqNext<Enter>")
+utils.map("n", "<leader>k", ":CoqUndo<Enter>")
+utils.map("n", "<leader><Enter>", ":CoqToLine<Enter>")
+
+utils.map("i", "//", "∥")

From 41db867fff61c2ef0dec4e2a003ea9f1310ed44d Mon Sep 17 00:00:00 2001
From: David JULIEN <swy7ch@protonmail.com>
Date: Tue, 19 Oct 2021 19:03:15 +0200
Subject: [PATCH 2/2] [nvim] feat: don't let CoqTail set any mapping

---
 .config/nvim/lua/plugins.lua | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/.config/nvim/lua/plugins.lua b/.config/nvim/lua/plugins.lua
index eaa407b..b83dfa1 100644
--- a/.config/nvim/lua/plugins.lua
+++ b/.config/nvim/lua/plugins.lua
@@ -93,5 +93,9 @@ return require("packer").startup(function()
         }
 
         -- ens
-        use "whonore/Coqtail"
+        use {
+                "whonore/Coqtail",
+                ft = { "verilog" },
+                config = vim.cmd[[let g:coqtail_nomap = 1]]
+        }
 end)