# ~/.bash_profile: executed by bash for login shells.
# Source .profile to avoid duplication
[ -f ~/.profile ] && . ~/.profile