Finish 9fc0b0e; fix bash prompt initialization

profile is sourced from bash_profile
generic user name

scrub user name