logout   [plain text]


##
# Destroy credentials
##

if [ -z "${TERM_PROGRAM}" ]; then
  # Don't run these commands if the shell is launched by Terminal,
  # even if it's a login shell.

  if klist -s; then kdestroy; fi
fi