Export PROFILE_HOME.

[profile.git] / opt / bin / become

diff --git a/opt/bin/become b/opt/bin/become
index f39fc49..a7ad44a 100755 (executable)
--- a/opt/bin/become
+++ b/opt/bin/become
@@ -47,11 +47,11 @@ builtin umask 077
 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
-      ccname=$(klist 2>/dev/null | sed -n 's/^Ticket cache: FILE://p')
+      ccname=$(klist 2>/dev/null | sed -n 's/^Ticket cache: [DF]I[LR][E:]://p')
       if [ -f "$ccname" ]; then
         echo >&3 "export KRB5CCNAME='$KRB5CCNAME'"
         openssl=$(find_working openssl)
@@ -71,7 +71,7 @@ else
   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"