Do not push command line history if exactly the same