From 4514493746c420f50fd743b0a40ab52da570c392 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?L=C3=A9ana=20=E6=B1=9F?= <leana.jiang+git@icloud.com>
Date: Sat, 24 Jan 2026 23:10:48 +0100
Subject: [PATCH] nixos/lean-nixos: init

---
 nix/nixosModules/extra/lean-nixos.nix | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 nix/nixosModules/extra/lean-nixos.nix

diff --git a/nix/nixosModules/extra/lean-nixos.nix b/nix/nixosModules/extra/lean-nixos.nix
new file mode 100644
index 00000000..b8d4a815
--- /dev/null
+++ b/nix/nixosModules/extra/lean-nixos.nix
@@ -0,0 +1,14 @@
+# disable unused tools on nixos systems (that I don't use)
+{
+  system.tools = {
+    # build a network of virtual machines? never used this.
+    nixos-build-vms.enable = false;
+
+    # only useful for installer
+    nixos-generate-config.enable = false;
+    nixos-install.enable = false;
+
+    # interactively show options, just use the repl instead
+    nixos-option.enable = false;
+  };
+}