Command line history in Bash

Don't add useless stuff to the history

This ignores lines that begin with a space, duplicate lines and short commands.

/.bashrc or equivalent

export HISTIGNORE=' *:&:?:??:???'