update .bashrc to 12.10 style