diff options
Diffstat (limited to 'modules')
| -rw-r--r-- | modules/global.nix | 17 | ||||
| -rw-r--r-- | modules/neovim/default.nix | 8 |
2 files changed, 25 insertions, 0 deletions
diff --git a/modules/global.nix b/modules/global.nix index a5413ff..0cb44e7 100644 --- a/modules/global.nix +++ b/modules/global.nix @@ -43,6 +43,20 @@ in home-manager.enable = true; }; + dconf = { + enable = true; + settings = { + "org/gnome/desktop/interface" = { + color-scheme = "prefer-dark"; + }; + }; + }; + + gtk = { + enable = true; + gtk3.extraConfig.gtk-application-prefer-dark-theme = 1; + }; + targets.genericLinux.enable = cfg.notNixOS; home = { @@ -50,9 +64,12 @@ in homeDirectory = "/home/stefan"; stateVersion = "24.11"; + packages = with pkgs; [ nerd-fonts.comic-shanns-mono eza + ripgrep + lean4 ] ++ (lib.optional cfg.notNixOS nixgl.auto.nixGLDefault) ++ (lib.optionals cfg.wayland [ diff --git a/modules/neovim/default.nix b/modules/neovim/default.nix index 945fbf2..525eee5 100644 --- a/modules/neovim/default.nix +++ b/modules/neovim/default.nix @@ -37,6 +37,14 @@ in tree-sitter-markdown-inline ])) + { + plugin = lean-nvim; + config = '' + require('lean').setup{ mappings = true } + ''; + type = "lua"; + } + plenary-nvim blink-cmp nvim-lspconfig base16-nvim |