Ignore mysql history file.