equal
deleted
inserted
replaced
1 import glob |
1 import glob |
2 import subprocess |
2 import subprocess |
3 import re |
3 import re |
4 import time |
4 import time |
5 |
5 import os |
6 names= glob.glob('/home/hg/repos/SEES-hacks/temp/ch1*.html') |
6 import sys |
|
7 repo=sys.argv[1] |
|
8 names= glob.glob(os.path.join(repo,'ch1*.html')) |
7 for name in names: |
9 for name in names: |
8 reg_obj=re.compile('/home/hg/repos/SEES-hacks/temp/ch1[0-9].*.html') |
10 reg_obj=re.compile(os.path.join(repo,'ch1[0-9].*.html')) |
9 if (reg_obj.match(name)): |
11 if (reg_obj.match(name)): |
10 changed_name=re.sub('ch1','chn1',name) |
12 changed_name=re.sub('ch1','chn1',name) |
11 else: |
13 else: |
12 changed_name=name |
14 changed_name=name |
13 command="cp %s %s" %(name ,changed_name) |
15 command="cp %s %s" %(name ,changed_name) |