|
From: <las...@Su...> - 2001-06-28 13:30:03
|
Dan Mueth wrote: > > One other thing which we should deal with pretty soon is configuration of > the OMF directories. We started with the path determined at build time as > $prefix/share/omf under which all OMF files must be placed. Then we added > the OMF_DIR environment variable to allow one to specify multiple paths in > order of preference. > > What we really want is a system-wide default which can have multiple paths > and which can be set to something reasonable by the distribution. I think > SuSe Linux had a problem with how they installed and configured GNOME and > ScrollKeeper which forced one to have to make a symbolic link for your > docs to work, given that we did not provide another way to do this. > > I propose we add a configuration file in /etc which defines this > path. How about /etc/scrollkeeper.conf. For now, we just have one > variable to define: > OMF_DIR=path1:path2:path3 > > What is a good default path? Perhaps: > OMF_DIR=/usr/share/omf:/usr/local/share/omf:/opt/omf > > Am I missing some paths we should have in there? > > Comments? > > Dan One more thing, with this we would have three ways of specifying OMF file locations. We have: - and environment variable OMF_DIR - the scrollkeeper.conf variable OMF_DIR - the -o flag of scrollkeeper-update This is probably too much. I think the environment variable should go away and maybe the -o flag also. If -o stays then the final set of directories should be the unification of the -o list and the OMF_DIR list from scrollkeeper.conf. Thoughts? Laszlo |