dot/bash_profile: Read bashrc if it's been lost.
[profile] / git /
2009-07-18 Mark WoodingGreat reorganization.