On Thu, Oct 24, 2019 at 09:01:07AM +0200, francis.montag...@inria.fr wrote: > When logged on a machine with ssh, executing a simple command CMD1 > that spawn a "/bin/bash -c some other command" do not source > ~/.bashrc: normal behaviour. > > When executing "CMD1 | CMD2", the ~/.bashrc is sourced: wrong .
Bash can be built with a compile-time option that causes it to try to detect when it's the non-interactive child of an ssh session, and source the user's ~/.bashrc under those conditions. Many Linux distributions enable this option, because they believe that their users expect this behavior.
