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.