Re: RFC: Always sourcing /etc/bashrc for interactive mode in bash