Re: Bug#256785: phpmyadmin: Resolution of #225766 violates policy and irritates admins
On Tue, Jun 29, 2004 at 10:27:17AM +0200, Piotr Roszatycki wrote:
> The config.inc.php is no more a configuration file! This is PHP source file
> and should be placed at /usr/share hierarchy. The original config.inc.php
> changes too much and 3-way diff tool is not a solution. I've got a lot of bug
> report because the user didn't upgrade this configuration file.
>
> I've lowered bug severity because it didn't violate the Policy in my opinion.
>
> I'd like to see more opinions so I've made Cc to debian-devel.
I agree with the maintainer here. This is similar to for example
mailman:
- the file in /usr/share is a file with defaults, that changes on the
whim of upstream
- the file in /etc _only_ consists of overrides of the defaults.
These two together make the configuration easily managable, easier than
it has been so far (yes, I'm a long time user/admin of phpmyadmin).
The configuration file only consists of overrides, so any unrelated
change won't affect you. Of course, now extra care must be taken when
upgrading (by the maintainer), to make sure the defaults won't (by means
of some changed option name of something) suddenly change overridden
behaviour.
In fact this is the same as many configurations of packages, take for
example SSH's configuration, the config only contains (uncomments at
least) the options where the administrator has different wishes, for
everything else, the ssh default is followed (though in this case, those
defaults are hardcoded in /usr/bin/ssh, while with phpmyadmin, they are
hardcoded in some file in /usr/share, which due to the nature of a PHP
application, is easily modified).
--Jeroen
--
Jeroen van Wolffelaar
Jeroen@wolffelaar.nl (also for Jabber & MSN; ICQ: 33944357)
http://Jeroen.A-Eskwadraat.nl
Reply to: