sync

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