[MPlayer-dev-eng] mplayer and installation

[Gábor Lénárt]

On Fri, Dec 21, 2001 at 02:23:26PM +0100, Felix Buenemann wrote:
> On Friday, 21. December 2001 12:22, you wrote:
> > There's a big problem about this installation. Let's imagine that user do
> > 'make install' as root to be able to install mplayer into /usr/local/bin.
> > Now, if from an older install codecs.conf already presents in user's
> > $HOME/.mplayer, that's cannot be checked by installation script, it will
> > only know that /usr/local/share/mplayer/codecs.conf exists or not. So it's
> > almost impossible to produce a good solution for that problem ;-(
> How about a version string in codecs.conf, so configure and mplayer could 
> check if codecs.conf is valid (if codecs_version < 123 

Well, what about if user change codecs.conf? He left version string but he
spent hours to change orders of codecs and so to fit his needs. We should
not overwrite it. Maybe we should ask user if we can overwrite it.

- Gabor