Show More
@@ -88,11 +88,10 b' class HistoryManager(Configurable):' | |||
|
88 | 88 | _ii = Unicode(u'') |
|
89 | 89 | _iii = Unicode(u'') |
|
90 | 90 | |
|
91 |
# A |
|
|
92 |
# the history (it's annoying to rewind the first entry and land on |
|
|
93 | # call). | |
|
94 | _exit_commands = Instance(set, args=(['Quit', 'quit', 'Exit', 'exit', | |
|
95 | '%Quit', '%quit', '%Exit', '%exit'],)) | |
|
91 | # A regex matching all forms of the exit command, so that we don't store | |
|
92 | # them in the history (it's annoying to rewind the first entry and land on | |
|
93 | # an exit call). | |
|
94 | _exit_re = re.compile(r"(exit|quit)(\s*\(.*\))?$") | |
|
96 | 95 | |
|
97 | 96 | def __init__(self, shell, config=None, **traits): |
|
98 | 97 | """Create a new history manager associated with a shell instance. |
@@ -377,7 +376,7 b' class HistoryManager(Configurable):' | |||
|
377 | 376 | source_raw = source_raw.rstrip('\n') |
|
378 | 377 | |
|
379 | 378 | # do not store exit/quit commands |
|
380 | if source_raw.strip() in self._exit_commands: | |
|
379 | if self._exit_re.match(source_raw.strip()): | |
|
381 | 380 | return |
|
382 | 381 | |
|
383 | 382 | self.input_hist_parsed.append(source) |
General Comments 0
You need to be logged in to leave comments.
Login now