wip start moving dev profile

2024-11-07 16:52:48 +02:00
parent 390e0a7ed5
commit 423c0ec858
2 changed files with 18 additions and 11 deletions
--- a/modules/profiles/dev/default.nix
+++ b/modules/profiles/dev/default.nix
@@ -0,0 +1,17 @@
+{ config, ... }:
+{
+  config = {
+    documentation = {
+      dev.enable = true;
+      doc.enable = true;
+      info.enable = true;
+      man = {
+        enable = true;
+        man-db.enable = false;
+        mandoc.enable = true;
+      };
+    };
+
+  };
+
+}