.profile.d/krb5.bashrc

   1 # $Id$
   2 alias kssh='ssh -o preferredauthentications=gssapi-with-mic'
   3 alias pssh='ssh -o preferredauthentications=password,keyboard-interactive'
   4 if [ $UID -gt 0 ]; then
   5   if tty -s; then
   6     if klist -s; then
   7       kinit -R
   8     else
   9       kinit
  10     fi
  11   fi
  12 fi