From: Reini U. <ru...@x-...> - 2002-09-15 11:50:15
|
Jeff Dairiki schrieb: >>How about placing the configuration in two files: one file with a >>default configuration and one file with the users customizations. > > Yes. The current system sort of started out that way with > the 'user-config' in index.php and the 'dist-config' in > lib/config.php. I.e. most of the settings in index.php > were commented out be default, and then lib/config.php > filled in the defaults... > > I think it would be real slick if the config script got all its > info from (specially formatted) comments (and code) in the > dist-config file. (Maybe it already works that way?) > Then problems with keeping the configurator in sync with the > config options go away.... Maybe an INI style lib/config.ini lib/config.php parses this then and fills in the defaults. -- Reini Urban http://xarch.tu-graz.ac.at/home/rurban/ |