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 |
14 else: |
14 else: |
15 changed_name=name |
15 changed_name=name |
16 command1="cp %s %s" %(name ,changed_name) |
16 command="mv %s %s" %(name ,changed_name) |
17 subprocess.Popen(command1,shell=True) |
17 subprocess.Popen(command,shell=True) |
18 time.sleep(2) |
18 time.sleep(2) |
19 subprocess.Popen(command2,shell=True) |
19 |
20 time.sleep(1) |
|