Export PROFILE_HOME.
[profile.git] / .profile.d / BECOME.bashrc
index 32a69ed..50cb97a 100644 (file)
@@ -1,3 +1,8 @@
+# Export PROFILE_HOME to the environment if we need to preserve it.
+if [ -n "$PROFILE_HOME" ]; then
+  [ "$PROFILE_HOME" = "$HOME" ] || export PROFILE_HOME
+fi
+
 # Find a path, preferring the target user's version.
 function find_target_profile() {
   local path="$1"; shift