##// END OF EJS Templates
Add history_load_length configurable option
Antonio Russo -
Show More
@@ -391,6 +391,13 b' class InteractiveShell(SingletonConfigurable):'
391 391
392 392 history_length = Integer(10000, config=True)
393 393
394 history_load_length = Integer(1000, config=True, help=
395 """
396 Determines the number of saved history entries to be loaded
397 into the readline buffer at startup.
398 """
399 )
400
394 401 # The readline stuff will eventually be moved to the terminal subclass
395 402 # but for now, we can't do that as readline is welded in everywhere.
396 403 readline_use = CBool(True, config=True)
@@ -1996,7 +2003,7 b' class InteractiveShell(SingletonConfigurable):'
1996 2003 self.readline.clear_history()
1997 2004 stdin_encoding = sys.stdin.encoding or "utf-8"
1998 2005 last_cell = u""
1999 for _, _, cell in self.history_manager.get_tail(1000,
2006 for _, _, cell in self.history_manager.get_tail(self.history_load_length,
2000 2007 include_latest=True):
2001 2008 # Ignore blank lines and consecutive duplicates
2002 2009 cell = cell.rstrip()
General Comments 0
You need to be logged in to leave comments. Login now