#!/bin/bash
# uncomment for debugging
# echo ".bash_profile sourced at user $USER login"
# only source .bashrc if interactive login shell
[[ $SHELL_INTERACTIVE ]] && [[ -f "$HOME/.bashrc" ]] && source "$HOME/.bashrc"