Searched defs:write_history_file (Results 1 – 1 of 1) sorted by relevance
450 def write_history_file(self, filename: str = gethistoryfile()) -> None: member in _ReadlineWrapper528 write_history_file = _wrapper.write_history_file variable