update-mime
update-mime-database
se hai aggiornao il mime
clicca destrocomunque sul file e dale proprieta inserisci mplayer non gmplayer magari
[QUOTE]Ho pensato che i due problemi di potessero risolvere entrambi con il comando update-alternatives, tutto qua... se ho sbagliato apro una nuova discussione.