Python编写的srt文件时间轴和编号整理程序

将一个大的视频剪辑为多个小视频时，原来的srt文件的字幕编号和时间轴也需要修改，因此自己写了一个Python程序，具备以下功能：
1、输入输出SRT文件；
2、按顺序修改编号，如将211，212，…重排为1，2，…;
3、修改时间轴的分钟；
4、修改时间轴的秒。
具体代码如下；
本代码参考了添加链接描述

# -*- coding:utf-8 BOM-*-

import re,os,time,math,os.path,datetime

#提取时间戳，

def time_stamp2time(x):

    time_list = [str(i) for i in x.split(' --> ')]

    time_list1_1 = [x for x in time_list[0].split(':')]
    
    time_list1_2 = [int(x) for x in time_list1_1[2].split(',')]

    time_list1_1.pop()

    time_list2_1 = [x for x in time_list[1].split(':')]

    time_list2_2 = [int(x) for x in time_list2_1[2].split(',')]

    time_list2_1.pop()

    t1=[int(time_list1_1[0]),int(time_list1_1[1]),(time_list1_2[0]+time_list1_2[1]/1000)]

    t2=[int(time_list2_1[0]),int(time_list2_1[1]),(time_list2_2[0]+time_list2_2[1]/1000)]

    return t1