[Scrollkeeper-devel] Configurability of OMF_DIR

[Dan M. <d-...@uc...>]

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