/etc/paths
não existe no meu sistema Ubuntu, então pode não ser uma maneira padrão do GNU de configurar seu PATH
.
Outra coisa a considerar é que alterar /etc/paths
alterará o PATH
de cada usuário no sistema. Colocando-o no seu .bash_profile
, você limita a mudança a um usuário, e somente quando esse usuário usa bash como seu shell.