Updates to .bashrc and config.py

Change the font size on config.py.  For
bashrc, added the ability to distinguish
between four different cases of git repository
synchronization.