Дано: Debian 6.0 squeeze
Надо: перекодировать ogg в mp3.
Решение:
Все действия выполняем с правами root'а.
1. Добавляем репозитарий в sources.list
echo "deb http://www.debian-multimedia.org squeeze main non-free" >> /etc/apt/sources.list
2. Скачиваем цифровые подписи пакетов
wget -c http://www.debian-multimedia.org/pool/main/d/debian-multimedia-keyring/debian-multimedia-keyring_2010.12.26_all.deb
3. Устанавливаем
dpkg -i debian-multimedia-keyring_2010.12.26_all.deb
4. Обновляем репозитарий БД apt
apt-get update
5. Обновляем/переустанавливаем ffmpeg:
apt-get install ffmpeg libavcodec
6. Далее, зайдя в директорию с файлами ogg создаем скрипт proc.sh:
#!/bin/bash
for name in *.ogg; do
ffmpeg -i "$name" "$(basename "$name" .ogg).mp3";
done;
chmod +x proc.sh
./proc.sh
Все!