# ~/.bash_profile: executed by bash for login shells.

# --- ssh-agent ---
# If this shell is interactive, restart it within an ssh-agent.  This
# depends on ssh-agent and ssh-add being on the user's default PATH, which
# should be the case if they're in /usr/bin where they should be.
 #case $- in *i*)
 #  if [ "$SSH_AUTH_SOCK" == "" ] ; then
 #    exec ssh-agent $SHELL -l$- $*
 #  fi
 #  case "`ssh-add -l`" in "The agent has no identities."*)
 #    for i in identity id_rsa ; do if [ -r $HOME/.ssh/$i ] ; then
 #      ssh-add $HOME/.ssh/$i
 #    fi ; done
 #  esac
 #esac
# --- end ssh-agent ---

if [ -e /etc/bash.bashrc ] ; then
  source /etc/bash.bashrc
fi

if [ -e ~/.bashrc ] ; then
  source ~/.bashrc
fi

# Set PATH so it includes user's private bin if it exists
# if [ -d ~/bin ] ; then
#   PATH="~/bin:${PATH}"
# fi

# Set MANPATH so it includes users' private man if it exists
# if [ -d ~/man ]; then
#   MANPATH="~/man:${MANPATH}"
# fi

# Set INFOPATH so it includes users' private info if it exists
# if [ -d ~/info ]; then
#   INFOPATH="~/info:${INFOPATH}"
# fi

# Get auxiliary build procedure aliases and functions
if [ -f ~/.tools ]; then
	. ~/.tools
fi

# User specific environment and startup programs
#unset USERNAME