Embora haja várias razões possíveis para isso (como a origem do .profile
de .bashrc
), parece que nesse caso o motivo foi que a caixa Run command as login shell
foi verificada sob a% do terminalEdit
- > Preferences...
General
tab.
A distribuição é que echo $0
mostra -bash
(indicando um shell de login) em vez de simples bash
.
Observe que gnome-terminal
tem uma configuração semelhante, em Edit
- > Profile Preferences
- > Command
.