ignore common short commands from bash history