home-environment: make home.profileDirectory public

This option has been stable for a long time and may be generally
useful.
This commit is contained in:
Robert Helgesson 2021-11-19 22:53:48 +01:00
parent 398c0b36a3
commit 8230decb3f
No known key found for this signature in database
GPG key ID: 36BDAA14C2797E89

View file

@ -205,12 +205,13 @@ in
home.profileDirectory = mkOption { home.profileDirectory = mkOption {
type = types.path; type = types.path;
defaultText = "~/.nix-profile"; defaultText = literalExpression ''
internal = true; "''${home.homeDirectory}/.nix-profile" or
"/etc/profiles/per-user/''${home.username}"
'';
readOnly = true; readOnly = true;
description = '' description = ''
The profile directory where Home Manager generations are The profile directory where Home Manager generations are installed.
installed.
''; '';
}; };
@ -502,7 +503,7 @@ in
&& config.submoduleSupport.externalPackageInstall && config.submoduleSupport.externalPackageInstall
then "/etc/profiles/per-user/${cfg.username}" then "/etc/profiles/per-user/${cfg.username}"
else cfg.homeDirectory + "/.nix-profile"; else cfg.homeDirectory + "/.nix-profile";
programs.bash.shellAliases = cfg.shellAliases; programs.bash.shellAliases = cfg.shellAliases;
programs.zsh.shellAliases = cfg.shellAliases; programs.zsh.shellAliases = cfg.shellAliases;
programs.fish.shellAliases = cfg.shellAliases; programs.fish.shellAliases = cfg.shellAliases;