improved git detection, JAVA_HOME on linux, MANPATH, linux mint prompt color now shares ubuntu scheme