On Thu, Apr 09, 2020 at 09:48:37AM -0400, Chet Ramey wrote: > On 4/8/20 7:46 PM, Eduardo Bustamante wrote: > > On Wed, Apr 8, 2020 at 2:42 PM Martin Schulte <[email protected]> > > wrote: > > (...) > >> But, as far as I understand, a non-interactive bash doesn't read > >> ~/.bashrc at all - so shouldn't we just omit them? > > > > There are exceptions. One of them being SSH, see: > > https://git.savannah.gnu.org/cgit/bash.git/tree/shell.c?h=ea31c00845c858098d232bd014bf27b5a63a668b#n1095 > > My guess is that Debian has compiled bash with SSH_SOURCE_BASHRC defined.
That's correct. See https://sources.debian.org/src/bash/5.0-4/debian/patches/deb-bash-config.diff/
