Seu atual "terminal zsh" deve ser informado para reler ~/.profile
para ver o conteúdo alterado.
source ~/.profile
deve fazer o truque.
Eu adicionei um diretório modificando ~/.profile
e adicionando export PATH=$PATH:/home/...
etc etc. Mas eu percebi que usando o terminal zsh eu não poderia usar o binário recém-instalado até eu sair do zsh.
Obrigado antecipadamente.
(Usando o GNOME e o Bash)
Seu atual "terminal zsh" deve ser informado para reler ~/.profile
para ver o conteúdo alterado.
source ~/.profile
deve fazer o truque.