#
# Bash rc file
#

# Load the profile
source $HOME/.profile