Loading jed-extra-init.sl at startup
G. Milde
g.milde at web.de
Fri Nov 11 08:25:35 UTC 2005
On 10.11.05, Rafael Laboissiere wrote:
> Is there any strong reason for not loading jed-extra-init.sl(c) from
> /etc/jed.d/50jed-extra.sl?
Yes, much of jed-extra-init.sl is now auto-generated in
JED_ROOT/jed-extra/ini.sl and loaded via:
% append the default jed-extra library dir and evaluate its ini.sl file
append_libdir($1, 1);
The remainder should be moved from jed-extra-init.sl directly to
50jed-extra.sl so it becomes configurable. (The time-loss by moving the
code to a not preparsed file should be negligible (and compensated by
inlining the code instead of evaluating one more file).
I plan to replace the compile_slfiles_in_dir("/usr/share/jed/site-lib");
in jed-extra-preparse.sl with a call to make ini, which will in one shot
* preparse
* generate dfa files
* generate ini.sl
* generate online help
Guenter
--
G.Milde web.de
More information about the Pkg-jed-devel
mailing list