@Zanna So I checked (yesterday, but never got around to mentioning it) and you are correct. It is in the situations that the "rc" files are not automatically sourced that the file named in $BASH_ENV is sourced. If .bashrc is sourced because Bash thinks it's in an SSH session, then the file named in $BASH_ENV is not also sourced.

After I edit that post of mine, assuming I figure out a way to do so that makes it better and not worse... and then after maybe posting a Q&A about specifically how Bash (with the build configuration used in the Ubuntu bash package) decides if the "rc" files should be sourced due to the session looking like it is happening over SSH... maybe I should also add an answer to this question.

ahh :)

I largely disagree with the premise of that question (but not in a way that would make me want to close it).

By default in Debian and Ubuntu, .profile sources .bashrc, and passing a command to ssh also causes .bashrc to be sourced. So the common cases when .bashrc is not sourced are bash scriptname (or ./scriptname with a hashbang stipulating bash), bash -c 'command', and in POSIX mode.

This situation would not be made one iota less astonishing by making .profile not source .bashrc by default. Aside from POSIX mode, the current effect is that .bashrc runs except when no startup script is desired.

How do you enable the Insults in 16.04.3 LTS?

also how do you disable the Insults...I don't want to get my feelings hurt too much :)

@xtrchessreal Do you mean the sudo insults?