tomasr/nixos
1
0
Fork 0
mirror of https://github.com/tomasriveral/nixos.git synced 2026-08-11 18:18:37 +02:00
Code Issues Packages Projects Releases Wiki Activity

neovim: add lean lsp and config

Browse Source
This commit is contained in:
tomasr
2026-07-21 16:54:36 +02:00
parent 2b59031896
commit 1642dc97ca
1 changed files with 8 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
modules/applications/neovim.nix
+8 -2
View File
@@ -53,6 +53,7 @@ _: {
pkgs-unstable.vimPlugins.nvim-treesitter-parsers.printf
pkgs-unstable.vimPlugins.nvim-treesitter-parsers.python
pkgs-unstable.vimPlugins.nvim-treesitter-parsers.sparql
pkgs-unstable.vimPlugins.lean-nvim
pkgs-unstable.vimPlugins.telescope-nvim
pkgs-unstable.vimPlugins.nvim-scrollbar
pkgs-unstable.vimPlugins.promise-async
@@ -371,7 +372,7 @@ _: {
},
})
vim.lsp.enable({ "lua_ls", "clangd", "pylsp", "texlab", "nixd", "ltex"})
vim.lsp.enable({ "lua_ls", "clangd", "pylsp", "texlab", "nixd", "ltex", "leanls"})
-- =========================
-- DASHBOARD
-- =========================
@@ -474,7 +475,12 @@ _: {
-- =========================
require('lualine').setup { options = { theme = "gruvbox_dark" } }
-- ==================
-- lean
-- ==================
require('lean').setup({
mappings = true,
})
--==================0
-- Some utils
--==================