The great thing about using Linux is that you have a number of command line tools that can accomplish tasks and are generally faster than GUI-based alternatives. The Linux tool for manipulating video files is ffmpeg. Its official documentation is here and one version of the man file is here.  General Use The format for …read more…