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 .