My bash history settings to work more efficiently on the terminal.