Para rodar videos com codecs Divx Xvid entre outros na plataforma Linux, é necessário o pacote de codecs w32codecs, na distribuição Debian minha preferida rs., você pode fazer esta tarefa de forma descomplicada através do apt-get.
para isso adicione o Mirror abaixo em seu sources.list:

deb http://download.gna.org/praksys praksys/
deb http://download.gna.org/praksys praksys-testing/

depois

apt-get update
apt-get install w32codecs mencoder-686 mplayer-fonts mplayer-686 player-doc mplayer-mozilla

Com isso você conseguirá rodar videos em Divx em seu Gnu/Linux.

at;e