diff -r 9b21dfd71561 Doc/library/readline.rst --- a/Doc/library/readline.rst Fri Jan 08 23:44:10 2016 -0800 +++ b/Doc/library/readline.rst Sat Jan 09 11:46:43 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)