+# 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
if exec 3>"$file" && exec <"$file" && rm "$file"; then
builtin $umask
echo >&3 "cd"
- echo >&3 "PROFILE_HOME='$HOME'"
+ echo >&3 "PROFILE_HOME='${PROFILE_HOME:-$HOME}'"
if [ -n "$PRINCIPAL" ]; then
echo >&3 "PRINCIPAL='$PRINCIPAL'"
if [ $kerberos = 1 ]; then
exit 111
fi
-echo >&3 ". $HOME/.bash_profile"
+echo >&3 ". ${PROFILE_HOME:-$HOME}/.bash_profile"
[ -f "$BECOME/all" ] && cat >&3 2>/dev/null "$BECOME/all"
[ -f "$BECOME/$user" ] && cat >&3 2>/dev/null "$BECOME/$user"
[ $chdir = 1 ] && echo >&3 2>/dev/null "cd - &>/dev/null"