#########################################################################
#         .bash_profile: Personal initialisation file for bash          #
#########################################################################

# This script file is executed by bash(1) for login shells.  By default,
# it simply includes ~/.bashrc, which contains all of the necessary
# settings.
#
# [JNZ] Modified 08-Nov-2002
#
# Written by John Zaitseff and released into the public domain.

if [ -f ~/.bashrc ]; then
    . ~/.bashrc
fi