Add a shell variables section. Set bash history format with date/time.