Ola Amigo.
Os linux usado pelo STI-Semp Toshiba é o insigner.
O Insigne GNU/Linux fora baseado na versão unstable do Debian, então aconselho vc a instalar o w32codecs, um codec que reconhece "os principais formatos de midia"
entre eles
DVD, VCD, SVCD, DIVX, AVI, RM, RMVB, OGG, MP3, WAVE, WMA, ACC, FLV entre outros.
para instalar basta digitar os seguinte comando no terminal.
$sudo apt-get install w32codecs
caso reporte algum erro, deverá seguir a regra abaixo
1 - Adicione novo repositório
$ sudo wget
http://www.medibuntu.org/sources.list.d/intrepid.list --output-document=/etc/apt/sources.list.d/medibuntu.list
2 - Adicionar chave
$ sudo apt-get update && sudo apt-get install medibuntu-keyring && sudo apt-get update
3 - Instale o codec
$ sudo apt-get install w32codecs
e como ja foi mensionado, o MPLAYER é o melhor player, compativel com o w32codec
$sudo apt-get install mplayer
qualquer duvida tamu ai!