One other thing that may be relevant is that I mention .bashrc in my environment:
$ env | grep bashrc ENV=/home/eggert/.bashrc BASH_ENV=/home/eggert/.bashrc
One other thing that may be relevant is that I mention .bashrc in my environment:
$ env | grep bashrc home/eggert/ .bashrc ENV=/home/ eggert/ .bashrc
ENV=/
BASH_