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

# set variable identifying the chroot you work in
if [ -f /etc/debian_chroot ]; then
  debian_chroot=$(cat /etc/debian_chroot)
fi

# include .bashrc if it exists
if [ -f ~/.bashrc ]; then
    . ~/.bashrc
fi

