You may assume the command line is only for system ... files to .mp4, and trim clips. For example, the command: ffmpeg -i ...