Introduction There are a number of video editing tools around. Some are graphical user interface based tools, while others are command line based tools. A number allow you to batch together tasks so as to automate the editing and processing of video files.