(original) (raw)

changeset: 99862:cb08e5271cc0 parent: 99859:6ab135134013 parent: 99861:416db1a2fb81 user: Ezio Melotti ezio.melotti@gmail.com date: Mon Jan 11 23:31:38 2016 +0200 description: #25991: merge with 3.5. diff -r 6ab135134013 -r cb08e5271cc0 Doc/library/readline.rst --- a/Doc/library/readline.rst Mon Jan 11 15:53:51 2016 -0500 +++ b/Doc/library/readline.rst Mon Jan 11 23:31:38 2016 +0200 @@ -209,6 +209,8 @@ histfile = os.path.join(os.path.expanduser("~"), ".python_history") try: readline.read_history_file(histfile) + # default history len is -1 (infinite), which may grow unruly + readline.set_history_length(1000) except FileNotFoundError: pass @@ -234,6 +236,7 @@ def save(prev_h_len, histfile): new_h_len = readline.get_history_length() + readline.set_history_length(1000) readline.append_history_file(new_h_len - prev_h_len, histfile) atexit.register(save, h_len, histfile) @@ -261,4 +264,5 @@ atexit.register(self.save_history, histfile) def save_history(self, histfile): + readline.set_history_length(1000) readline.write_history_file(histfile) /ezio.melotti@gmail.com