Public part of my .bashrc