Как я могу конвертировать MKV файлы в MP4?

На данный момент я использую одну команду видео:

avconv -i File_name1.mkv -codec copy File_name1.mp4

Чтобы изменить формат, но мне нужен способ сделать это для более чем 400 видео, какой будет команда batch?

for f in *.mkv; do avconv -i "$f" -codec copy "${f%.mkv}.mp4"; done

Вы можете использовать mencoder. Установить с помощью:

sudo apt install mencoder

тогда:

for f in *.mkv; do mencoder "$f" -o "$f".mp4 -ovc lavc -oac lavc;done

Форматы вывода по умолчанию без каких-либо опций: MPEG-4 для видео и MP2 для аудио.
Обратитесь man mencoderза дополнительной помощью.

Попробуйте winFF, который является графическим интерфейсом для FFmgeg для пакетного преобразования файлов аудита и видео либо из центра программного обеспечения, либо;

sudo apt-get install winff

Еще один через findкоманду,

find /path -name '*.mkv' -exec bash -c 'avconv -i "$1" -codec copy "${1%.mkv}.mp4"' _ {} \;