We are discussing about always sourcing /etc/bashrc for interactive mode in bug 1193590
[1]. 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
[2]). I am pondering over the idea to source /etc/bashrc by default (see commmit at [3])
and fix current /etc/bashrc script to avoid double sourcing [4]. 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.
[1]
https://bugzilla.redhat.com/show_bug.cgi?id=1193590
[2]
https://bugzilla.redhat.com/show_bug.cgi?id=1390780
[3]
https://github.com/fedora-testing/bash/commit/87ac935a6643a9afee44a957577...
[4]
https://bugzilla.redhat.com/show_bug.cgi?id=1193590#c20
--
--
Siteshwar Vashisht