Acontece que o PATH estava sendo mantido pelo gerenciador de exibição carregando ~/.profile
(e /etc/profile
e /etc/environment
) ao criar uma sessão de desktop. Isso significa que as alterações nesses arquivos não serão refletidas nas novas sessões de bash e exigirão que você efetue o logout para entrar em vigor.