Show More
@@ -57,6 +57,11 b' class HistoryManager(object):' | |||
|
57 | 57 | # necessary. |
|
58 | 58 | _i00, _i, _ii, _iii = '','','','' |
|
59 | 59 | |
|
60 | # A set with all forms of the exit command, so that we don't store them in | |
|
61 | # the history (it's annoying to rewind the first entry and land on an exit | |
|
62 | # call). | |
|
63 | _exit_commands = None | |
|
64 | ||
|
60 | 65 | def __init__(self, shell): |
|
61 | 66 | """Create a new history manager associated with a shell instance. |
|
62 | 67 | """ |
@@ -91,6 +96,9 b' class HistoryManager(object):' | |||
|
91 | 96 | |
|
92 | 97 | self._i00, self._i, self._ii, self._iii = '','','','' |
|
93 | 98 | |
|
99 | self._exit_commands = set(['Quit', 'quit', 'Exit', 'exit', '%Quit', | |
|
100 | '%quit', '%Exit', '%exit']) | |
|
101 | ||
|
94 | 102 | # Object is fully initialized, we can now call methods on it. |
|
95 | 103 | |
|
96 | 104 | # Fill the history zero entry, user counter starts at 1 |
@@ -207,9 +215,11 b' class HistoryManager(object):' | |||
|
207 | 215 | """ |
|
208 | 216 | if source_raw is None: |
|
209 | 217 | source_raw = source |
|
210 | # do not store quit/exit commands | |
|
211 | if source_raw in ['Quit', 'quit', 'Exit', 'exit', '%Quit', '%quit', '%Exit', '%exit']: | |
|
218 | ||
|
219 | # do not store exit/quit commands | |
|
220 | if source_raw.strip() in self._exit_commands: | |
|
212 | 221 | return |
|
222 | ||
|
213 | 223 | self.input_hist_parsed.append(source.rstrip()) |
|
214 | 224 | self.input_hist_raw.append(source_raw.rstrip()) |
|
215 | 225 | self.shadow_hist.add(source) |
General Comments 0
You need to be logged in to leave comments.
Login now