Configuration Information [Automatically generated, do not change]:
Machine: x86_64
OS: linux-gnu
Compiler: gcc
Compilation CFLAGS: -O2 -g -pipe -Wall -Werror=format-security
-Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions
-fstack-protector-strong -grecord-gcc-switch\
es -specs=/
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
