Eu olhei em volta e procurei uma resposta para essa pergunta, mas não a acho (o que é estranho).
Minha pergunta é, existe alguma maneira simples de reiniciar a sessão bash de dentro do terminal no mac. Eu só quero o mesmo comportamento como se eu fechasse o aplicativo de terminal e o iniciasse novamente (todas as variáveis são redefinidas, .bash_profile de origem etc).
Eu sei como fonte .bash_profile, mas não é isso que eu quero. Uma das razões pelas quais desejo fazer isso é porque um plug-in para o meu prompt do bash possui um código que impede que as cores sejam carregadas várias vezes. Portanto, a fonte .bash_profile não recarrega as variáveis de cores e eu tenho que reiniciar o aplicativo de terminal para obter alterações.
exec bash
só reinicia esse shell interativo? Além disso, você pode explicar exatamente o que o comando exec faz e suas opções? Obrigado!