OK, bem, eu não posso responder logo de cara porque não está funcionando. Você poderia nos dar mais detalhes. Eu também não posso deixar um comentário devido à falta de representante aqui (apesar do meu representante em outros sites de troca de pilha). Então, pelo menos, vou tentar fazer disso uma resposta.
Primeiro de tudo, se você estiver usando zsh, ~ / .profile, e todos os arquivos bash rc são irrelevantes. Vá em frente e concentre-se em .zshrc. Esse será o arquivo rc correto na maior parte do tempo para esse tipo de coisa.
Esse tipo de coisa geralmente "funciona", então estou inclinado a especular que há uma parte do processo que você não está entendendo ou está faltando.
Antes de tudo, verifique se você está, de fato, usando zsh:
echo $SHELL
echo $0
Compartilhe esta saída, por favor.
Em segundo lugar, verifique se as coisas não estão, de fato, funcionando. Você já deveria ter postado a saída de:
echo $PATH
Tente isso antes e depois de executar o comando export ...
. Essa é a única maneira de verificar se algo else não está acontecendo.
Algumas desvantagens: as reinicializações são irrelevantes. Se você colocar essas coisas no seu .zshrc, simplesmente abrir um novo shell será suficiente. Além disso, pode ser mais fácil experimentar executando esses comandos em um shell ativo e não adicioná-los ao arquivo .zshrc até que você resolva o problema.
Compartilhe os resultados disso e entraremos em contato com você.