aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--flake.lock6
-rw-r--r--form/configuration.nix3
-rw-r--r--modules/global.nix17
-rw-r--r--modules/neovim/default.nix8
4 files changed, 31 insertions, 3 deletions
diff --git a/flake.lock b/flake.lock
index e2261bf..dd67dfa 100644
--- a/flake.lock
+++ b/flake.lock
@@ -163,11 +163,11 @@
]
},
"locked": {
- "lastModified": 1741613526,
- "narHash": "sha256-HUEfRLqCy47BQ7kOG4SRVhqE7J6lkFzAagnd13I17qk=",
+ "lastModified": 1741635347,
+ "narHash": "sha256-2aYfV44h18alHXopyfL4D9GsnpE5XlSVkp4MGe586VU=",
"owner": "nix-community",
"repo": "home-manager",
- "rev": "3593ee59a44974b8518829a5239b2f77222e3c81",
+ "rev": "7fb8678716c158642ac42f9ff7a18c0800fea551",
"type": "github"
},
"original": {
diff --git a/form/configuration.nix b/form/configuration.nix
index f280be0..275f5a5 100644
--- a/form/configuration.nix
+++ b/form/configuration.nix
@@ -46,6 +46,8 @@
extraGroups = [ "wheel" "networkmanager" ]; # Enable ‘sudo’ for the user.
packages = with pkgs; [
tree
+ discord-ptb
+ ungoogled-chromium
];
shell = pkgs.zsh;
};
@@ -84,6 +86,7 @@
wmenu
gnupg
pinentry-qt
+ btop
];
environment.pathsToLink = [ "/share/zsh" ];
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