[MPlayer-dev-eng] mplayer and installation

[Christoph Lampert]

On Fri, 21 Dec 2001, Alban Bedel wrote:

> On Fri, 21 Dec 2001 12:22:28 +0100
> Gábor Lénárt <lgb at lgb.hu> 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 ;-(
> 
> I don't think it's impossible, we can check all /home subdirs to see if there is a 
> .mplayer/codecs.conf file and if it exist propose an update. 
> Perhaps the home dir isn't very standard throw OS/distrib/install but we can try 
> to detect it in the configure. And when it's in the configure the user can always override it.
> I don't think many users have non standard home dir, the few who have will not make
> many problems (if they can set it) as they will surelly be advanced users.

You should not DARE to modify user's $HOME-dir when running "make
install".

Just add a date/version-stamp to the conf file and print a warning when 
running mplayer with outdated conf-file.

gruel