我是视频处理的新手,我正在尝试用 Python 编写程序。该方案是通过时间戳将一个长视频分割成一些短视频。
例如,我有一个输入video long_video.avi15 分钟。我想提取到 2 个视频,short_1_5_video.avi(1'-5')和short_6_10_video.avi(6'-10')。输入视频有容器AVI和视频格式JPEG。这是视频信息(显示在 mediainfo 工具中):

我想找到一个可以从 Python 调用的 CLI(命令行界面)工具。我尝试了一些工具:
mp4box(http://www.videohelp.com/tools/mp4box):但 mp4box 不支持 AVI 文件。它只支持 MKV 和 MP4 文件。
mkvmerge(在 mkv 工具中):但是 mkvmerge 只支持 MKV 文件。
ffmgeg:但它似乎不支持按时间戳分割视频(“似乎”,因为我在 ffmpeg 的规范中没有找到它)。
我考虑过将输入视频从转换AVI为MP4或MKV然后将其拆分,但是转换所需的时间太长。请建议我一个工具可以分割AVI文件JPEG格式视频,可以从命令行控制。
另外,我也想找一个可以做到这一点的GUI工具。