Comment # 13 on bug 1088524 from Dr. Werner Fink

(In reply to Cade Robinson from comment #12)
> 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. :)

The global environment variables (like PATH, VISUAL, EDITOR, ...) should go to
/etc/profile.local whereas shell functions, shell aliases, shell (environment)
variables (like PS1) as well as shell setting/options should be in
/etc/bash.bashrc.local