+file="${TMPDIR:-/tmp}/$USER.become.$user.$RANDOM.$$"
+umask=$(builtin umask -p)
+builtin umask 077
+if exec 3>"$file" && exec <"$file" && rm "$file"; then
+ builtin $umask
+ echo >&3 "cd"
+ echo >&3 "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')
+ if [ -f "$ccname" ]; then
+ openssl=$(find_working openssl)
+ if [ -n "$openssl" ]; then
+ echo >&3 "KRB5OPENSSL='$openssl'"
+ echo >&3 "KRB5BASE64='$($openssl enc -a -in $ccname)'"
+ fi
+ fi
+ fi
+ fi
+ if [ -n "$DISPLAY" -a -n "$COOKIE" ]; then
+ echo >&3 "xauth add $COOKIE"
+ else
+ echo >&3 "unset DISPLAY"
+ fi
+else
+ exit 111
+fi
+
+echo >&3 ". $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"
+
+exec 3>&-
+dir=$(dirname "$0")
+[ "$dir" = "." ] && dir="$PWD"
+exec sudo -H -u "$user" "$dir/became"
+exit 111