Editing: .mysql_history