##// END OF EJS Templates
Remove unnecessary branch in %history...
Blazej Michalik -
Show More
@@ -184,14 +184,11 b' class HistoryMagics(Magics):'
184 184 n = 10 if limit is None else limit
185 185 hist = history_manager.get_tail(n, raw=raw, output=get_output)
186 186 else:
187 if args.range: # Get history by ranges
188 if args.pattern:
189 range_pattern = "*" + " ".join(args.pattern) + "*"
190 print_nums = True
191 hist = history_manager.get_range_by_str(" ".join(args.range),
192 raw, get_output)
193 else: # Just get history for the current session
194 hist = history_manager.get_range(raw=raw, output=get_output)
187 if args.pattern:
188 range_pattern = "*" + " ".join(args.pattern) + "*"
189 print_nums = True
190 hist = history_manager.get_range_by_str(" ".join(args.range),
191 raw, get_output)
195 192
196 193 # We could be displaying the entire history, so let's not try to pull
197 194 # it into a list in memory. Anything that needs more space will just
General Comments 0
You need to be logged in to leave comments. Login now