_HiStOrY_V2_
readline.redisplay()
readline.write_history_file('history')
