Don't store repeated commands in the editline history buffer.