When bash is called as a login shell it does source /etc/profile, not
/etc/bash.bashrc. If you want to source /etc/bash.bashrc, you have to
do it from /etc/profile. Same with .bash_profile and .bashrc.
I propose that in /etc/profile a section is added to source
/etc/bash.bashrc, commented out by default.
--
To UNSUBSCRIBE, email to debian-bugs-...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listm...@lists.debian.org