Isso funcionou bem:
for i in *mkv; do ffmpeg -i $i -vcodec copy -acodec copy $i.mp4; done
Minha porcaria da Samsung não lerá nada que tenha uma extensão .mkv. Não há como instalar outro player de vídeo, pois a versão do Android não é mais "atualizável".
Como 99% dos arquivos de vídeo agora são .mkv, há algo que eu posso fazer para converter vários arquivos de uma vez para .avi? Eu tentei mencoder e não funcionou mesmo com um único arquivo. Arista simplesmente não quer trabalhar também ...
Isso funcionou bem:
for i in *mkv; do ffmpeg -i $i -vcodec copy -acodec copy $i.mp4; done
Você pode tentar o ffmpeg com um script:
for i in *.avi;
do name='echo $i | cut -d'.' -f1';
ffmpeg -i "$i" "${name}.mkv";
done
Isso levará todos os arquivos avi ao diretório de trabalho e os converterá em mkv com o mesmo nome.