On Fri, 26 Apr 2013 15:17:36 +0200 Sebastian Ramacher wrote: > On 2013-04-25 22:03:44, Francesco Poli wrote: > > > On 2013-04-25 16:54:00, Francesco Poli (wintermute) wrote: [...] > > I am pretty sure I haven't changed anything regarding this. > > However, I see that I have all those emulation options (QuickTime > > Emulation, RealPlayer Emulation, Windows Media Player Emulation, DiVX > > Player Emulation) disabled! > > > > I tried to enable all of those emulation options, but the result is not > > different, even after restarting iceweasel... > > That's weird. What does about:plugins say? gecko-mediaplayer should be > listed for plenty of Windows Media mimetypes there.
It's not! It's listed for many MPEG, Ogg, FLAC, WEBM formats (plus other less known ones), but there's no mention of Windows Media Player, QuickTime or RealPlayer MIME types... Even after quitting iceweasel, checking that no plugin instance was incorrectly left running (ps aux | grep 'plugin\|player'), starting gnome-mplayer, enabling the emulation options, quitting gnome-mplayer, and starting iceweasel again. > > > > It defaults to being enabled and I just checked > > > that it indeed is enabled by default for a new user and I'm able to > > > watch the videos with gecko-mediaplayer in a new profile. > > > > Where is the user configuration file for gnome-mplayer? > > I mean: which file(s) should I move out of the way, in order to start > > with a new gnome-mplayer profile (without creating a new user on my > > box)? > > dconf should store the settings in ~/.config/dconf/user … but that's a > binary file containing all settings for any application using dconf. But > you can probably manipulate the settings with dconf-editor. Ouch, I strongly dislike configuration settings packed into an opaque binary file for many different programs! This seems to be even uglier than gconf... :-( > > It might be that there are some issues with the gconf to dconf switch. > I will need to investigate that a bit further. I tried the following: $ mv -i ~/.config/dconf/user ~/tmp/ $ gnome-mplayer and I checked the preferences: I found the emulation options *enabled* by default, as you said. Other options seemed to be different as well... However, the issue with Windows Media Player videos seems to persist, even after this "trick". :-( As far as my settings are concerned, there seems to be some gconf→dconf migration issue or something else that made me get non-default option values. I cannot keep the newly generated ~/.config/dconf/user file, since I do not want to lose the configuration for other programs (and it would not solve my issue anyway). Arrgh! I don't even know *which* other programs would lose their customizations in that case! That's exactly why I dislike multiple program configuration settings packed into a single opaque binary file! :-( Is there a way to merge this newly generated ~/.config/dconf/user file into the previous one? Or should I *manually* annotate each gnome-mplayer configuration option and the corresponding default value and then *manually* set each option to the annotated value?!? Thanks for the assistance you are providing, I really appreciate it. -- http://www.inventati.org/frx/frx-gpg-key-transition-2010.txt New GnuPG key, see the transition document! ..................................................... Francesco Poli . GnuPG key fpr == CA01 1147 9CD2 EFDF FB82 3925 3E1C 27E1 1F69 BFFE
pgp_zX1Ar6ZyI.pgp
Description: PGP signature
