Update bashrc_aliasing.txt