more leader stuff, colors in bashrc