.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   ids=""
  18   test -f ~/.ssh/id_rsa && ids="$ids id_rsa"
  19   test -f ~/.ssh/id_ed25519 && ids="$ids id_ed25519"
  20   if [ -n "$ids" ]; then
  21     eval `$keychain -q $ids`
  22     source ~/.keychain/`hostname`-sh > /dev/null
  23   fi
  24   unset ids
  25 }
  26 unset keychain
  27
  28 # kerberos
  29 kinit="$(type -P kinit)"
  30 test -n "$kinit" && {
  31     KRB5_CONFIG="$HOME/.krb5.conf"
  32     export KRB5_CONFIG
  33 }
  34 unset kinit