.bash_profile

   1 # ~/.bash_profile: executed by bash(1) for login shells.
   2
   3 umask 022
   4 if [ -f ~/.bashrc ]; then
   5   source ~/.bashrc
   6 fi
   7
   8 # Set mintty color-palette
   9 if [ "$UNAME" = "Cygwin" ]; then
  10   source ~/.mintty/colors/solarized-ansi.sh
  11 fi
  12
  13 # keychain
  14 keychain=$(type -P keychain)
  15 test -n "$keychain" && \
  16   test -z "$SUDO_USER" && {
  17   if [ -f ~/.ssh/id_rsa ]; then
  18     eval `$keychain -q ~/.ssh/id_rsa`
  19     source ~/.keychain/`hostname`-sh > /dev/null
  20   fi
  21 }
  22 unset keychain
  23
  24 # kerberos
  25 kinit="$(type -P kinit)"
  26 test -n "$kinit" && {
  27     KRB5_CONFIG="$HOME/.krb5.conf"
  28     export KRB5_CONFIG
  29 }
  30 unset kinit