##// 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 history_length = Integer(10000, config=True)
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 # The readline stuff will eventually be moved to the terminal subclass
401 # The readline stuff will eventually be moved to the terminal subclass
395 # but for now, we can't do that as readline is welded in everywhere.
402 # but for now, we can't do that as readline is welded in everywhere.
396 readline_use = CBool(True, config=True)
403 readline_use = CBool(True, config=True)
@@ -1996,7 +2003,7 b' class InteractiveShell(SingletonConfigurable):'
1996 self.readline.clear_history()
2003 self.readline.clear_history()
1997 stdin_encoding = sys.stdin.encoding or "utf-8"
2004 stdin_encoding = sys.stdin.encoding or "utf-8"
1998 last_cell = u""
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 include_latest=True):
2007 include_latest=True):
2001 # Ignore blank lines and consecutive duplicates
2008 # Ignore blank lines and consecutive duplicates
2002 cell = cell.rstrip()
2009 cell = cell.rstrip()
General Comments 0
You need to be logged in to leave comments. Login now