Простейший конвертер в форматы HTML5 Video (Ogg Theora, MP4, WebM) группы файлов?

Question

[Finom]

Есть несколько тысяч очень коротких видео в формате AVI. Нужно все эти файлы сконвертировать в три вышеперечисленных формата, сохраняя имя файла (например 0001.avi → 0001.mp4). Перебрал кучу конвертеров, но ни один не подошел, в том числе из-за отсутствия поддержки групповой конвертации.


Очень надеюсь на помощь в поиске сабжа.

Answer 1

[jov]

#!/bin/bash
for i in `seq 1 1000`; do
  for f in ogg mp4 webm; do
    ffmpeg -i $(printf "%04d" $i.avi) -f $f $(printf "%04d" $i.$f)
  done
done

Comments

[koi com]

Это что?

[MFD]

koi com: это консоль

под osx или linux заходите в папку с файлами

1. создаете файл например conv.sh,
   
2. в него забиваете вышепреведенное заклинание
   
3. сохраняете
   
4. открываете Терминал (консоль)
   
5. переходите в папку
   

   cd <имя папки>

   
   
6. запускаете конвертор
   

   sh conv.sh

   
   

Answer 2

[nikitac]

Miro Video Converter

Answer 3

[Eddy_Em]

Для ogg удобно еще использовать ffmpeg2theora