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