# $Id$
alias kssh='ssh -o preferredauthentications=gssapi-with-mic'
alias pssh='ssh -o preferredauthentications=password,keyboard-interactive'
if [ $UID -gt 0 ]; then
  if tty -s; then
    if klist -s; then
      kinit -R
    else
      kinit
    fi
  fi
fi