# I've followed this advice: https://superuser.com/a/789465
[ -r "$HOME/.profile" ] && source "$HOME/.profile"
[ -r "$HOME/.bashrc"  ] && source "$HOME/.bashrc"