On Tue, May 2, 2017 at 4:42 PM, Siteshwar Vashisht <svashisht@xxxxxxxxxx> wrote: > I am pondering over the idea to source /etc/bashrc by default (see commmit at [3]) FWIW, I've been recently told that Debian does this. (Well the name there is /etc/bash.bashrc.) > and fix current /etc/bashrc script to avoid double sourcing [4]. See also https://bugzilla.redhat.com/show_bug.cgi?id=1193590#c27 > This change may cause undesirable effects if a custom /etc/bashrc is prone to double sourcing and might break some systems. One reported breakage is here, although it's quite probably a bash-completion bug: https://github.com/scop/bash-completion/pull/117 _______________________________________________ devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx
