From b4b17f51ac7b098c652dd6e86e830a97d97c8e78 Mon Sep 17 00:00:00 2001
From: Rubén Beltrán del Río <jj@r.bdr.sh>
Date: Tue, 14 Jul 2026 15:02:51 +0200
Subject: Update neovim setup

---
 config/nvim/lua/treesitter_config.lua | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

(limited to 'config/nvim/lua/treesitter_config.lua')

diff --git a/config/nvim/lua/treesitter_config.lua b/config/nvim/lua/treesitter_config.lua
index 15b9327..0bc307f 100644
--- a/config/nvim/lua/treesitter_config.lua
+++ b/config/nvim/lua/treesitter_config.lua
@@ -1,6 +1,7 @@
 require('nvim-treesitter').install {
     'bash',
     'css',
+    'csv',
     'dart',
     'diff',
     'dockerfile',
@@ -15,7 +16,6 @@ require('nvim-treesitter').install {
     'json',
     'julia',
     'kotlin',
-    'lean',
     'lua',
     'make',
     'markdown',
@@ -31,3 +31,12 @@ require('nvim-treesitter').install {
     'typescript',
     'yaml'
   }
+
+vim.api.nvim_create_autocmd('User', { pattern = 'TSUpdate',
+callback = function()
+  require('nvim-treesitter.parsers').lean = {
+    install_info = {
+      url = 'https://github.com/Julian/tree-sitter-lean',
+    },
+  }
+end})
-- 
cgit