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