Show More
@@ -207,6 +207,9 b' class HistoryManager(object):' | |||||
207 | """ |
|
207 | """ | |
208 | if source_raw is None: |
|
208 | if source_raw is None: | |
209 | source_raw = source |
|
209 | source_raw = source | |
|
210 | # do not store quit/exit commands | |||
|
211 | if source_raw in ['Quit', 'quit', 'Exit', 'exit', '%Quit', '%quit', '%Exit', '%exit']: | |||
|
212 | return | |||
210 | self.input_hist_parsed.append(source) |
|
213 | self.input_hist_parsed.append(source) | |
211 | self.input_hist_raw.append(source_raw) |
|
214 | self.input_hist_raw.append(source_raw) | |
212 | self.shadow_hist.add(source) |
|
215 | self.shadow_hist.add(source) |
General Comments 0
You need to be logged in to leave comments.
Login now