Obrigado, dsumsky , pela sua resposta.
De fato, .bashrc
é definitivamente originado quando eu executo bash
manualmente. Isso colocou em minha mente a pergunta "Qual shell está definido como shell de login para o meu usuário?". Foi /bin/sh
. O problema desapareceu depois que eu o substituí com /bin/bash
, apesar do fato de que% symlink /bin/sh
é destinado a /bin/bash
.