Speeding up and reducing resolution of videos

Sometimes it is necessary to speed up videos and/or reduce the resolution. This will typically result in a much smaller file size. ffmpeg and avconv allow video file manipulation on the command line. These commands work on Debian, and will likely work on Ubuntu and other Linux distributions. Speed up video, 2× speed:…