bash history options tweaked