From 2b590318968ce58fbc140ef8b166da283df6b36c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Tom=C3=A1s=20Rivera?= Date: Tue, 21 Jul 2026 11:38:27 +0200 Subject: [PATCH 1/3] hledger: init --- modules/hosts/desktop.nix | 2 ++ modules/hosts/laptop.nix | 2 ++ modules/utilities/budget.nix | 20 ++++++++++++++++++++ 3 files changed, 24 insertions(+) create mode 100644 modules/utilities/budget.nix diff --git a/modules/hosts/desktop.nix b/modules/hosts/desktop.nix index dc51f2e..be7b85e 100644 --- a/modules/hosts/desktop.nix +++ b/modules/hosts/desktop.nix @@ -30,6 +30,8 @@ games hardware-configuration-desktop hdd + hledger + hledger-desktop hyprland IO kdrive-desktop # we will setup this later diff --git a/modules/hosts/laptop.nix b/modules/hosts/laptop.nix index 76ed58d..989e0dd 100644 --- a/modules/hosts/laptop.nix +++ b/modules/hosts/laptop.nix @@ -31,6 +31,8 @@ gitBackup hardware-configuration-laptop hardwareUtils-laptop + hledger + hledger-laptop hyprland IO kdrive-laptop diff --git a/modules/utilities/budget.nix b/modules/utilities/budget.nix new file mode 100644 index 0000000..0e27d6e --- /dev/null +++ b/modules/utilities/budget.nix @@ -0,0 +1,20 @@ +_: { + flake.nixosModules.hledger = {pkgs, ...}: { + environment.systemPackages = with pkgs; [ + hledger + hledger-ui + hledger-web + asciinema # used for some hledger demos + ]; + }; + flake.nixosModules.hledger-laptop = _: { + environment.variables = { + LEDGER_FILE = "/home/tomasr/kdrive/Budget/hledger.journal"; + }; + }; + flake.nixosModules.hledger-desktop = _: { + environment.variables = { + LEDGER_FILE = "/home/tomasr/hdd/kdrive/Budget/hledger.journal"; + }; + }; +} From 1642dc97ca5a7374bed39af2649755febe54578d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Tom=C3=A1s=20Rivera?= Date: Tue, 21 Jul 2026 16:51:34 +0200 Subject: [PATCH 2/3] neovim: add lean lsp and config --- modules/applications/neovim.nix | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/modules/applications/neovim.nix b/modules/applications/neovim.nix index 9c7eca9..7c42c47 100644 --- a/modules/applications/neovim.nix +++ b/modules/applications/neovim.nix @@ -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 --================== From 77f4b0fc5fdd87bff111c81789bab5bee5aae8e9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Tom=C3=A1s=20Rivera?= Date: Tue, 21 Jul 2026 16:53:32 +0200 Subject: [PATCH 3/3] neovim: add hledger integration --- modules/applications/neovim.nix | 1 + 1 file changed, 1 insertion(+) diff --git a/modules/applications/neovim.nix b/modules/applications/neovim.nix index 7c42c47..f22aaa1 100644 --- a/modules/applications/neovim.nix +++ b/modules/applications/neovim.nix @@ -54,6 +54,7 @@ _: { pkgs-unstable.vimPlugins.nvim-treesitter-parsers.python pkgs-unstable.vimPlugins.nvim-treesitter-parsers.sparql pkgs-unstable.vimPlugins.lean-nvim + pkgs-unstable.vimPlugins.vim-ledger pkgs-unstable.vimPlugins.telescope-nvim pkgs-unstable.vimPlugins.nvim-scrollbar pkgs-unstable.vimPlugins.promise-async