##// END OF EJS Templates
removed quit/exit commands from history
Satrajit Ghosh -
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