Para poder reproducir los formatos propietarios, tienes que bajar de este link:
el archivo all-<fecha>.tar.bz2 donde <fecha> es la fecha en que se publicaron. Siempre es recomendable bajar el mas nuevo. En la mayoría de los reproductores se puede configurar la carpeta donde van a buscar los codecs, pero por defecto buscan en:
/usr/local/lib/codecs/ /usr/lib/win32
Por lo tanto se recomienda descomprimir los codecs en esas carpetas, y si no funciona, buscar como configurar el reproductor de vídeo que este dando problemas para que busque allí.
Una vez descomprimidos, hay que darles permisos de ejecución. por ejemplo, si están en las carpetas antes mencionadas
chmod 755 /usr/local/lib/codecs/* chmod 755 /usr/lib/win32/*
Tambien es posible descomprimir los codecs a cualquier carpeta, y hacer un enlace dinámico a dichos directorios (ver comando ln ).
Agradecemos a la gente de http://www.gnulinuxargentina.com.ar por el tip.