| 456 | self.set_history_length(self.get_current_history_length()) |
| 457 | |
| 458 | def write_history_file(self, filename: str = gethistoryfile()) -> None: |
| 459 | maxlength = self.saved_history_length |
| 460 | history = self.get_reader().get_trimmed_history(maxlength) |
| 461 | f = open(os.path.expanduser(filename), "w", |
| 462 | encoding="utf-8", newline="\n") |
| 463 | with f: |
| 464 | for entry in history: |
| 465 | entry = entry.replace("\n", "\r\n") # multiline history support |
| 466 | f.write(entry + "\n") |
| 467 | |
| 468 | def append_history_file(self, filename: str = gethistoryfile()) -> None: |
| 469 | reader = self.get_reader() |