import readline readline.write_history_file( “log.py”)