def write_history_file(self, filename=None):
        self._history.write_history_file(filename)

    #Completer functions
Save a readline history file. The default filename is ~/.history.
dataset/ETHPy150Open deanhiller/databus/webapp/play1.3.x/python/Lib/site-packages/pyreadline/rlmain.py/Readline.write_history_file