Несколько методов изменения разрешения видео с помощью терминала

Как изменить разрешение видео с помощью терминала: несколько способов