Eu (eventualmente) respondi a minha própria pergunta! A solução é adicionar a instrução export PATH = ...
a um arquivo ( *.sh
) em /etc/profile.d
. Isso é executado quando o shell bash e o gerenciador de sessão de janela são iniciados. E isso se aplica a todos os usuários, ao contrário da solução .gnomerc
em meu post original.
Consulte link para obter mais detalhes.