LEFT | RIGHT |
(no file at all) | |
1 #!/usr/bin/env python | |
2 # texi-skeleton-update.py | |
3 | |
4 import sys | |
5 import glob | |
6 import os | |
7 import shutil | |
8 | |
9 sys.stderr.write ('texi-skeleton-update.py\n') | |
10 | |
11 orig_skeletons = set ([os.path.basename (f) for f in glob.glob (sys.argv[1] + '/
*.ite??')]) | |
12 new_skeletons = set ([os.path.basename (f) for f in glob.glob (sys.argv[2] + '/*
.ite??')]) | |
13 | |
14 for f in new_skeletons: | |
15 if f in orig_skeletons: | |
16 g = open (os.path.join (sys.argv[1], f), 'r').read () | |
17 if '-- SKELETON FILE --' in g: | |
18 sys.stderr.write ("Updating %s...\n" % f) | |
19 shutil.copy (os.path.join (sys.argv[2], f), sys.argv[1]) | |
20 elif f != 'fdl.itexi': | |
21 sys.stderr.write ("Copying new file %s...\n" % f) | |
22 shutil.copy (os.path.join (sys.argv[2], f), sys.argv[1]) | |
23 | |
24 for f in orig_skeletons.difference (new_skeletons): | |
25 sys.stderr.write ("Warning: outdated skeleton file %s\n" % f) | |
LEFT | RIGHT |