opt/bin/become

   1 #!/bin/bash
   2
   3 user="$1"
   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 BECOME="$HOME/.become"
  11 profile="$BECOME/$user"
  12 [ -f "$profile" ] || profile="$BECOME/all"
  13
  14 exec sudo -H -u "$user" env BECOME_HOME="$HOME" PRINCIPAL=$PRINCIPAL /bin/bash --rcfile "$profile"