Update nvim config

nvim/after/ftplugin/agda.lua

@@ -0,0 +1 @@
+vim.opt.commentstring = "--%s"

nvim/after/ftplugin/tex.lua

@@ -0,0 +1,3 @@
+vim.opt_local.textwidth = 80
+vim.opt_local.colorcolumn = "81"
+vim.opt_local.formatoptions:append("a")

nvim/after/plugin/general.lua

@@ -12,4 +12,3 @@ require('nvim-highlight-colors').setup()
 require('gitsigns').setup {
   current_line_blame = true,
 }
-

nvim/init.lua

@@ -37,10 +37,25 @@ vim.opt.updatetime = 50
 vim.opt.completeopt = {'menuone', 'noselect', 'noinsert'}
 vim.opt.shortmess = vim.opt.shortmess + { c = true}
 
+vim.opt.timeoutlen = 1000 -- For agda unicode chars to work properly
+
+-- Languagetool stuff
+vim.g.languagetool_server_command = '/usr/bin/languagetool --http'
+
 -- Load plugins
 require('kalle.plugins')
 
 vim.cmd.colorscheme('carbonfox')
 
+vim.g.vimtex_compiler_latexmk = { -- Make vimtex allow shell-escape while compiling
+  options = {
+    '-shell-escape',
+    '-verbose',
+    '-file-line-error',
+    '-synctex=1',
+    '-interaction=nonstopmode'
+  }
+}
+
 -- TODO:
 -- - Debugger integration (gdb?, java?/kotlin?, rust?, etc) - nvim-dap and friends

nvim/lua/kalle/plugins.lua

@@ -13,6 +13,10 @@ if fn.empty(fn.glob(install_path)) > 0 then
 end
 
 return require('packer').startup({function(use)
+  use('ashinkarov/nvim-agda')
+  use('lervag/vimtex')
+  use('vigoux/LanguageTool.nvim')
+
   use('wbthomason/packer.nvim')
   use('EdenEast/nightfox.nvim')
   use('folke/which-key.nvim')

nvim/plugin/packer_compiled.lua

@@ -89,6 +89,11 @@ _G.packer_plugins = {
     path = "/home/kalle/.local/share/nvim/site/pack/packer/start/FixCursorHold.nvim",
     url = "https://github.com/antoinemadec/FixCursorHold.nvim"
   },
+  ["LanguageTool.nvim"] = {
+    loaded = true,
+    path = "/home/kalle/.local/share/nvim/site/pack/packer/start/LanguageTool.nvim",
+    url = "https://github.com/vigoux/LanguageTool.nvim"
+  },
   LuaSnip = {
     loaded = true,
     path = "/home/kalle/.local/share/nvim/site/pack/packer/start/LuaSnip",
@@ -179,6 +184,11 @@ _G.packer_plugins = {
     path = "/home/kalle/.local/share/nvim/site/pack/packer/start/nightfox.nvim",
     url = "https://github.com/EdenEast/nightfox.nvim"
   },
+  ["nvim-agda"] = {
+    loaded = true,
+    path = "/home/kalle/.local/share/nvim/site/pack/packer/start/nvim-agda",
+    url = "https://github.com/ashinkarov/nvim-agda"
+  },
   ["nvim-autopairs"] = {
     loaded = true,
     path = "/home/kalle/.local/share/nvim/site/pack/packer/start/nvim-autopairs",
@@ -294,6 +304,11 @@ _G.packer_plugins = {
     path = "/home/kalle/.local/share/nvim/site/pack/packer/start/vim-illuminate",
     url = "https://github.com/RRethy/vim-illuminate"
   },
+  vimtex = {
+    loaded = true,
+    path = "/home/kalle/.local/share/nvim/site/pack/packer/start/vimtex",
+    url = "https://github.com/lervag/vimtex"
+  },
   ["which-key.nvim"] = {
     loaded = true,
     path = "/home/kalle/.local/share/nvim/site/pack/packer/start/which-key.nvim",

nvim/spell/en.utf-8.add

@@ -58,3 +58,4 @@ FTerm
 dto
 api
 loadPage
+hits