move profiles to use haumea

This commit is contained in:
xunuwu 2024-10-24 11:41:51 +02:00
parent 4cec867a78
commit 716e9e7ac2
Signed by: xun
SSH key fingerprint: SHA256:Uot/1WoAjWAeqLOHA5vYy4phhVydsH7jCPmBjaPZfgI
91 changed files with 30 additions and 53 deletions

15
profiles/core/docs.nix Normal file
View file

@ -0,0 +1,15 @@
{
self,
super,
root,
}: {pkgs, ...}: {
documentation = {
dev.enable = true;
# man.generateCaches = true; # this does slow down builds by quite a lot
};
environment.systemPackages = with pkgs; [
linux-manual
man-pages
man-pages-posix
];
}