Comment # 12 on bug 1088524 from Cade Robinson

Moving our /etc/bash.bashrc.local to /etc/profile.local does work.
Is this the way it was always supposed to be?
PATH, PS1, aliases etc in profile.local?

Both bash.bashrc and profile say the same thing to use the respective .local
file to "for your local settings, favourite global aliases, VISUAL and EDITOR
variables, etc ..."

This will just take a shift of what we have set up. Not too big of a deal.
Harder to shift the mentality of the people that originally setup
bash.bashrc.local than it is to move it. :)