#!/usr/bin/env python3

#a script can help u to convert the lyrics file to .srt
#created by wOOL, iamwool@gmail.com
#2008,12,9
#Eating

import sys,re
from datetime import datetime

p = re.compile("[0-9]+")
filename = sys.argv[1]
interval = str(sys.argv[2])

lrc = open(filename)

listtime =  []
listlyrics = []

for line in lrc.readlines():
    if p.match(line.split(":")[0].replace("[","")):
        listtime.append("00:" + line.split("]")[0].replace("[","")+"0")
        listlyrics.append(line.split("]")[1])
        
#read file and delete empty&useless lines

o=""
i=0

while i <= listtime.__len__()-2:
    o = o+\
    str(i+1)+\
    "\n"+\
    listtime[i].replace(".",",")+\
    " --> " +\
    "0" + (str(datetime.strptime(listtime[i+1],"%H:%M:%S.%f")-datetime.strptime(interval,"%f"))).replace("000","").replace(".",",")+\
    "\n"+listlyrics[i]+\
    "\n"
    i=i+1
    
o = o + str(i+1) + "\n" + listtime[-1].replace(".",",")+ " --> " + "\n" + listlyrics[-1] + "\n"
srt = open(filename.replace("lrc","srt"),"w")
srt.write(o)