jed-extra: sorting of files into library dirs
G. Milde
g.milde at web.de
Wed Oct 12 13:59:06 UTC 2005
On 11.10.05, Jörg Sommer wrote:
> G. Milde schrieb am Tue 11. Oct, 15:51 (+0200):
> > the non-interactive, non interfering installation of jed-extra
> > requires the upstream files to be sorted into several library
> > directories.
> In which directories? I do not understand what you mean.
My considerations in README.Maintainer were:
Where should the modes go?
--------------------------
* Generally, modes should go to the `jed-extra library directory` ::
/usr/lib/jed-extra/
(Alternatives: /usr/share/jed/site-lib/, /usr/share/jed/jed-extra-lib/)
The `jed-extra library directory` should be appended to the search path
with append_libdir() from libdir.sl in jed.d/50jed-extra.sl. This way
the performance impact on searches in the libdir or documentation is
kept minimal.
* Some modes are drop-in replacements. Placing them in the jed_library_path
would either
a) make their use obligatory for all users if the libdir is *added*, or
b) prevent their use if the libdir is *appended*.
Drop-ins should therefore go to a separate dir, say ::
/usr/lib/jed-extra/drop-in/
added to the library path in 50jed-extra.sl.
* The default behaviour would be to use the drop-ins if jed-extra
is installed
* A sysadmin can easily comment out the activation of drop-ins
* A user can remove the drop-in/ dir from the library path in jed.rc
(a function remove_libdir() in libdir.sl could assist)
* Fine-grained activation of drop-ins is possible by copying or symlinking
of individual modes to a users (or local) libdir.
Alternatively, all files could go to /usr/lib/jed-extra/ and the dir be
*added* in 50jed-extra.sl with a comment a'la::
% prepend the library directory to the library path
% -> identically named files (drop ins) will take precedence
add_libdir("/usr/lib/jed-extra/");
% append the library directory to the library path
% -> Drop in files will not replace the standard versions.
% They can be evaluated by giving the full path in require() or
% evalfile()
% append_libdir("/usr/lib/jed-extra/");
> > I could provide a slang script that does this based on a list of modes
> > (now in README.Maintainer). Alternatively, this sorting could be done in the
> > rules file. However, I have no experience with rules files and thus would be
> > very inefficient in modifying it.
>
> The rules file is a simple make file, nothing more.
I already guessed. However, I never worked with a make file :-(
Guenter
--
G.Milde web.de
More information about the Pkg-jed-devel
mailing list