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] [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", "//", "∥")