From 8230decb3f0cb3408607accc93e5d0951ebf3963 Mon Sep 17 00:00:00 2001
From: Robert Helgesson <robert@rycee.net>
Date: Fri, 19 Nov 2021 22:53:48 +0100
Subject: [PATCH] home-environment: make `home.profileDirectory` public

This option has been stable for a long time and may be generally
useful.
---
 modules/home-environment.nix | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

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