Merge branch 'dev' into gentoo

nvim:
        add filetype configs for tex, verilog
        dont let CoqTail set mappings

.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")

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

.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)