Descargué e instalé VLC y funciona bien.
Sin embargo, no puedo entender cómo configurarlo para que sea el predeterminado: en Preferencias -> Aplicaciones preferidas, Multimedia cambiar el comando "Reproductor multimedia" no parece hacer nada.
¿Cómo es este conjunto?
Respuesta1
Debería poder hacer esto a la antigua usanza, haciendo clic derecho en un archivo del tipo que desea que VLC reproduzca y seleccionando VLC como reproductor para usar en elAbrir con..opción del menú.
Alternativamente, puede especificar los tipos MIME que desea que VLC maneje siguiendo los pasos en la página wiki de VLC:Cómo hacer que VLC sea el reproductor predeterminado. Este procedimiento funcionará para cualquier tipo de medio que desee configurar.
Eche un vistazo a mi respuesta sobre cómo cambiar las aplicaciones predeterminadas en Ubuntuconfigurando los tipos mime. La ubicación del archivo puede ser diferente en Fedora, pero el procedimiento debería seguir siendo el mismo porque así es como se comporta Gnome.