Есть семейный архив фото. В нем, суммарно, около сотни видео. Причем видео весят неоправданно много, минутный отрывок с не очень то хорошей картинкой и звуком (фотик шестилетней давности) занимает 100мб. То есть без особых потерь, видео можно ужать раз в пять, а то и больше. В какую сторону копать/какие утилиты смотреть, что бы сделать это массово и красивым bash скриптом? И сколько такая массовая конвертация займет времени?