equal
deleted
inserted
replaced
8 names= glob.glob(os.path.join(repo,'ch1*.html')) |
8 names= glob.glob(os.path.join(repo,'ch1*.html')) |
9 for name in names: |
9 for name in names: |
10 reg_obj=re.compile(os.path.join(repo,'ch1[0-9].*.html')) |
10 reg_obj=re.compile(os.path.join(repo,'ch1[0-9].*.html')) |
11 if (reg_obj.match(name)): |
11 if (reg_obj.match(name)): |
12 changed_name=re.sub('ch1','chn1',name) |
12 changed_name=re.sub('ch1','chn1',name) |
|
13 command2="rm %s" %(name,) |
13 else: |
14 else: |
14 changed_name=name |
15 changed_name=name |
15 command="cp %s %s" %(name ,changed_name) |
16 command1="cp %s %s" %(name ,changed_name) |
16 subprocess.Popen(command,shell=True) |
17 subprocess.Popen(command1,shell=True) |
17 time.sleep(2) |
18 time.sleep(2) |
|
19 subprocess.Popen(command2,shell=True) |
|
20 time.sleep(1) |