Enabled base profile for domain users

This commit is contained in:
Jan-Bulthuis 2025-06-09 13:06:29 +02:00
parent 209dbea02a
commit cdd94eefb3

View File

@ -138,10 +138,7 @@ in
home.stateVersion = "24.11"; home.stateVersion = "24.11";
home.username = "$USER"; home.username = "$USER";
home.homeDirectory = "/.$HOME"; home.homeDirectory = "/.$HOME";
home.packages = with pkgs; [ modules.profiles.base.enable = true;
tree
cowsay
];
} }
) )
] ++ config.home-manager.sharedModules; ] ++ config.home-manager.sharedModules;
@ -151,8 +148,7 @@ in
# Activate Home Manager configuration for domain users # Activate Home Manager configuration for domain users
if id | egrep -o 'groups=.*' | sed 's/,/\n/g' | cut -d'(' -f2 | sed 's/)//' | egrep -o "^domain users$"; then if id | egrep -o 'groups=.*' | sed 's/,/\n/g' | cut -d'(' -f2 | sed 's/)//' | egrep -o "^domain users$"; then
echo "Setting up environment for domain user" echo "Setting up environment for domain user"
SKIP_SANITY_CHECKS=1 SKIP_SANITY_CHECKS=1 ${homeConfiguration.activationPackage}/activate
${homeConfiguration.activationPackage}/activate
fi fi
''; '';
}; };