Is checking for those bash specifics needed? Usually the regular user profile in .bash_profile for bash is used anyways. (perhaps the bash extension should include one if it doesn't)
Also, just to change a bit, having setting ENV inside the if statement might be better:
if [ -f "$HOME/.ashrc" ]; then
export ENV="$HOME/.ashrc"
. "$HOME/.ashrc"
fi