update of jed-extra
G. Milde
g.milde@web.de
Thu Jul 7 09:47:55 UTC 2005
On 6.07.05, Jörg Sommer wrote:
> G. Milde schrieb am Wed 06. Jul, 12:39 (+0200):
> > You convinced me. Maybe it could be a compromise, providing the register
> > function and sensible defaults for Jed_Home_Library, Jed_Local_Library
> > and Jed_Site_Library.
>
> What's the advantage of having Jed_Home_Library, Jed_Local_Library oder
> Site_Library?
This are custom variables, if you use the default values, you do not need to
bother about the details.
E.g. you can use on jed.rc file with
require("/home/milde/.jed/lib/home-lib.sl");
register_libdir(Jed_Home_Library, Jed_Local_Library, Jed_Site_Library);
in both, WINDOWS and UNIX.
> What can a program do with this information?
Help>Describe_Variable Jed_*_Library will show you the path for your
libdirs.
Utility functions can use it. e.g. update_home_lib() in make_ini, or my
% find_file in home library
public define find_home_lib_file()
{
find_file_with_completion(Jed_Home_Library);
}
Günter
--
G.Milde web.de
More information about the Pkg-jed-devel
mailing list