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/87ac935a6643a9afee44a9575771418d7be15fcb [4] https://bugzilla.redhat.com/show_bug.cgi?id=1193590#c20 -- -- Siteshwar Vashisht _______________________________________________ devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx
