equal
deleted
inserted
replaced
591 f = open(test) |
591 f = open(test) |
592 t = f.readlines() |
592 t = f.readlines() |
593 f.close() |
593 f.close() |
594 |
594 |
595 script = [] |
595 script = [] |
|
596 if os.getenv('MSYSTEM'): |
|
597 script.append('alias pwd="pwd -W"\n') |
596 for n, l in enumerate(t): |
598 for n, l in enumerate(t): |
597 if not l.endswith('\n'): |
599 if not l.endswith('\n'): |
598 l += '\n' |
600 l += '\n' |
599 if l.startswith(' >>> '): # python inlines |
601 if l.startswith(' >>> '): # python inlines |
600 after.setdefault(pos, []).append(l) |
602 after.setdefault(pos, []).append(l) |