Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- from datetime import datetime
- file_from = open("./subtitle_file.srt", "r")
- file_to = open("./subtitle_file.srt.json", "w", encoding="utf-8")
- file_to.write("{\"fragments\": [\n")
- state = 0
- fragment_id = 0
- for line in file_from:
- fragment_id += 1
- line = line.strip("\n")
- if line == "":
- if state > 0:
- file_to.write("]},\n")
- state = 0
- elif state == 0:
- state = 1
- elif state == 1:
- state = 2
- begin_end = line.split(" --> ")
- begin = (datetime.strptime(begin_end[0], '%H:%M:%S,%f') - datetime(1900,1,1)).total_seconds()
- end = (datetime.strptime(begin_end[1], '%H:%M:%S,%f') - datetime(1900,1,1)).total_seconds()
- file_to.write("{\"begin\": \"" + str(begin) + "\",\"children\": [],\"end\": \"" + str(end) + "\",\"id\": \"" + str(fragment_id) + "\",\"language\": \"ru\",\"lines\": [")
- else:
- if state == 3:
- file_to.write(",")
- file_to.write("\"" + line.replace("\"", "\\\"") + "\"")
- state = 3
- file_to.write("]}\n]}")
- file_to.close()
Add Comment
Please, Sign In to add comment