Show More
@@ -1572,6 +1572,11 b' want to merge them back into the new files.""" % locals()' | |||||
1572 | else: |
|
1572 | else: | |
1573 | banner = self.BANNER+self.banner2 |
|
1573 | banner = self.BANNER+self.banner2 | |
1574 |
|
1574 | |||
|
1575 | # if you run stuff with -c <cmd>, raw hist is not updated | |||
|
1576 | # ensure that it's in sync | |||
|
1577 | if len(self.input_hist) != len (self.input_hist_raw): | |||
|
1578 | self.input_hist_raw = InputList(self.input_hist) | |||
|
1579 | ||||
1575 | while 1: |
|
1580 | while 1: | |
1576 | try: |
|
1581 | try: | |
1577 | self.interact(banner) |
|
1582 | self.interact(banner) |
General Comments 0
You need to be logged in to leave comments.
Login now