Ao invés de reiniciar o terminal, basta usar source ~/.bashrc
e o novo prompt já vai estar funcionando.
Opá! Muito obrigado pela dica ErrroDeMemoria
, apesar de achar mais fácil fechar e abrir o terminal, visto que não precisa docorar comando nenhum, acha mais "profissional" usar este comando. Abraços