opt/bin/become

   1 #!/bin/bash
   2
   3 user="$1"; shift
   4 if [ -z "$user" ]; then
   5   echo >&2 "Usage: become <user>"
   6   exit 1
   7 fi
   8
   9 PRINCIPAL=$(klist 2>/dev/null | sed -n 's/^Default principal: //p')
  10 if [ -n "$DISPLAY" -a "${DISPLAY##localhost:}" = "$DISPLAY" ]; then
  11   COOKIE="$(xauth list $DISPLAY)"
  12 fi
  13 BECOME="$HOME/.become"
  14 profile="$BECOME/$user"
  15 [ -f "$profile" ] || profile="$BECOME/all"
  16
  17 file="$(mktemp)"
  18 if [ -n "$file" ]; then
  19   exec 3>"$file"
  20   exec <"$file"
  21   rm "$file"
  22
  23   echo >&3 "cd"
  24   echo >&3 "PROFILE_HOME='$HOME'"
  25   [ -n "$PRINCIPAL" ] && echo >&3 "PRINCIPAL='$PRINCIPAL'"
  26   if [ -n "$DISPLAY" -a -n "$COOKIE" ]; then
  27     echo >&3 "xauth add $COOKIE"
  28   else
  29     echo >&3 "unset DISPLAY"
  30   fi
  31
  32   echo >&3 2>/dev/null ". $HOME/.bash_profile"
  33   [ -f "$BECOME/all" ] && cat >&3 2>/dev/null "$BECOME/all"
  34   [ -f "$BECOME/$user" ] && cat >&3 2>/dev/null "$BECOME/$user"
  35 fi
  36
  37 dir=$(dirname "$0")
  38 [ "$dir" = "." ] && dir="$PWD"
  39 exec sudo -H -u "$user" "$dir/became"
  40 exit 111