Teilen ⇐ Python

[Guest]

Nehmen wir an, wir haben eine Video input.mp4 und eine Datei split.csv enthält:
start;end;name
00:00:27.132;00:07:42.422;"Part A.mp4"
00:07:48.400;00:17:17.921;"Part B.mp4"
< /code>
(oder ich könnte die Textdatei in jedem anderen Format formatieren, aber die Zeitstempel müssen HH: MM: Ss.ddd) < /p>
So teilen Sie den MP4 mit den gegebenen Start-/End -Zeitstempeln in verschiedene Teile und den angegebenen Dateinamen für jeden Teil auf? und wenn nicht mit einem Python -Skript?