equal
deleted
inserted
replaced
80 diffs = pipe.stdout.read() |
80 diffs = pipe.stdout.read() |
81 if diffs: |
81 if diffs: |
82 if askconfirm: |
82 if askconfirm: |
83 print |
83 print |
84 print diffs |
84 print diffs |
85 action = ASK.ask('Replace ?', ('N', 'y', 'q'), 'N') |
85 action = ASK.ask('Replace ?', ('Y', 'n', 'q'), 'Y').lower() |
86 else: |
86 else: |
87 action = 'y' |
87 action = 'y' |
88 if action == 'y': |
88 if action == 'y': |
89 try: |
89 try: |
90 shutil.copyfile(ref_file, appl_file) |
90 shutil.copyfile(ref_file, appl_file) |