Нашел тут очень старый клон диска с мультиками (клон делал сам, уже не помню чем, но формат там .vob). И решил, что надо бы посмотреть. Ну и - детям "скормить"...

В общем, каково же было моё удивление узнать, что ничего из установленного у меня (MPlayer, Баньши, VLC) не проигрывает файлы с таким расширением. Реально - первый случай, когда минт чего-то не смог проиграть.

В общем, поискал, выяснил, что можно проблему решить, установив ffmpeg:

sudo add-apt-repository ppa:mc3man/trusty-media && sudo apt-get update
sudo apt-key adv --keyserver keyserver.ubuntu.com --recv-keys 8E51A6D660CD88D67D65221D90BD7EACED8E640A
sudo apt-get install ffmpeg

Очень подробно об ffmpeg написано тут: http://help.ubuntu.ru/wiki/ffmpeg

В общем, всё путем. Но. Если вдруг захочется внезапно сохранить мультики в чем-то более удобоваримом, нам на помощь приходит куча конверторов. Они описаны здесь: http://softhelp.org.ua/?p=1825

Я использую только FF Multi Convertor, как наиболее универсальное решение. По крайней мере, на то, чтобы перегнать .vob и .mp4 в .avi в Linux его более чем достаточно.

sudo add-apt-repository ppa:ffmulticonverter/stable
sudo apt-get update
sudo apt-get install ffmulticonverter

В общем, "счастье есть" :)