Ignore the repl history