Update bashrc

Improvements of the encoding of special chars