Инструмент командной строки для разделения видео в моменты времени?

Возможный дубликат:
Скрипт для вырезания видео на основе списка редактирования

У меня есть часовое видео, которое я хочу разделить на отдельные клипы в произвольные моменты времени. Я мог бы сделать это вручную в iMovie или даже позаимствовать машину с Final Cut, но есть более тридцати отдельных клипов, поэтому выполнение этого вручную делает меня трудоемким и подверженным ошибкам.

(Это последовательность записей для языкового учебника, но все это один файл, и неудобно не иметь возможность отдельно просматривать, повторять и т. Д. Клипы по главам. В настоящее время это H.264 MPEG-4, но Я не против того, чтобы преобразовать это.)

Я знаю все временные точки, и я хотел бы передать их список чему-либо или создать сценарий вокруг списка, чтобы создать разделенные клипы без дальнейшего вмешательства человека. Linux будет в порядке, но Mac OS будет идеальным; Windows на самом деле не вариант.

Предложения?