We are discussing about always sourcing /etc/bashrc for interactive mode in bug 1193590
. Currently /etc/bashrc is sourced by user's bashrc script and if a user forgets to
source it, some of the default configurations will not be set (for e.g. see bug 1390780
). I am pondering over the idea to source /etc/bashrc by default (see commmit at )
and fix current /etc/bashrc script to avoid double sourcing . This change may cause
undesirable effects if a custom /etc/bashrc is prone to double sourcing and might break
some systems. Any comments about this change are welcome.