Ignore successive duplicate commands in readline history