Package: base-files Version: 7.1 The current /etc/profile sources /etc/bash.bashrc, and then /etc/profile.d/*.sh, among other start-up tasks. This is counterproductive, because it makes the profile.d mechanism useless for initializations that need to precede the system bashrc.
/etc/bash.bashrc should be sourced at the end of /etc/profile, after all the other profile stuff has been done. This is what I would intuitively expect, because non-login shells likewise read the bashrc "after" the profile---they inherit the profile's environment initializations from the initial login shell, which can be considered to have come "first." -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
