git log format + bash history size